Selected and extended papers from Partial Evaluation and Program Manipulation 2015 (PEPM′15)

被引：0

作者：

Asai, Kenichi ^{[1
]}

Sagonas, Konstantinos ^{[2
,3
]}

机构：

[1] Ochanomizu Univ, Tokyo 112, Japan

[2] Uppsala Univ, Uppsala, Sweden

[3] NTUA, Athens, Greece

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2017年 / 137卷

关键词：

D O I：

10.1016/j.scico.2017.02.001

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：1 / 1

页数：1

共 50 条

[21] Selected and Extended Papers from TACAS 2018: Preface
Beyer, Dirk
Huisman, Marieke
JOURNAL OF AUTOMATED REASONING, 2020, 64 (07) : 1331 - 1332
[22] Introduction to Selected Extended Papers from PIMRC'2018
Dardari, Davide
Verdone, Roberto
INTERNATIONAL JOURNAL OF WIRELESS INFORMATION NETWORKS, 2019, 26 (04) : 257 - 258
[23] Selected and extended papers from SBLP 2013 Preface
Du Bois, Andre Rauber
Trinder, Phil
SCIENCE OF COMPUTER PROGRAMMING, 2016, 132 : 1 - 1
[24] Selected and Extended Papers from TACAS 2018: Preface
Dirk Beyer
Marieke Huisman
Journal of Automated Reasoning, 2020, 64 : 1331 - 1332
[25] Selected and extended papers from Bytecode 2013 Preface
Gomez-Zamalloa, Miguel
Puebla, German
SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 343 - 343
[26] Special issue on selected and extended papers from the 2015 International Conference on Intelligence Science and Big Data Engineering (IScIDE 2015)
Shan, Shiguang
Cai, Deng
Deng, Cheng
Chang, Hong
NEUROCOMPUTING, 2017, 269 : 1 - 2
[27] Special session on selected papers from Networking 2015
Bianco, Andrea
Bestak, Robert
Norros, Ilkka
COMPUTER COMMUNICATIONS, 2016, 84 : 39 - 39
[28] Special issue on selected papers from CAIP 2015
Azzopardi, George
Petkov, Nicolai
MACHINE VISION AND APPLICATIONS, 2016, 27 (08) : 1115 - 1115
[29] Special section on selected papers from TMA 2015
Barlet-Ros, Pere
Steiner, Moritz
COMPUTER COMMUNICATIONS, 2016, 94 : 103 - 103
[30] Special issue on selected papers from CAIP 2015
George Azzopardi
Nicolai Petkov
Machine Vision and Applications, 2016, 27 : 1115 - 1115

← 1 2 3 4 5 →