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 条

[1] Special issue on Partial Evaluation and Program Manipulation (selected papers from PEPM 2007)
Ramalingam, G.
Visser, Eelco
SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (06) : 467 - 468
[2] Selected and extended papers from Partial Evaluation and Program Manipulation 2014
Chin, Wei-Ngan
Hage, Jurriaan
SCIENCE OF COMPUTER PROGRAMMING, 2015, 112 : 119 - 119
[3] Selected and extended papers from Partial Evaluation and Program Manipulation 2013 Preface
Albert, Elvira
Mu, Shin-Cheng
SCIENCE OF COMPUTER PROGRAMMING, 2014, 95 : 147 - 148
[4] Workshop on partial evaluation and program manipulation (PEPM 2006)
Hatcliff, J
Tip, F
ACM SIGPLAN NOTICES, 2006, 41 (03) : 4 - 8
[5] PEPM'10 - Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Proc ACM SIGPLAN Symp Partial Eval Semantics Based Program M,
[6] Extended papers selected from ESSDERC 2015
Grasser, Tibor
Schmitz, Jurriaan
Lemme, Max C.
SOLID-STATE ELECTRONICS, 2016, 125 : 1 - 1
[7] Proceedings of the 2009 ACM SIGPLAN symposium on partial evaluation and program manipulation, pepm'09: Preface
Puebla, German
Vidal, Germán
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09, 2009,
[8] Selected Extended Papers of ITP 2015: Preface
Zhang, Xingyuan
Urban, Christian
JOURNAL OF AUTOMATED REASONING, 2019, 62 (04) : 431 - 432
[9] Preface: Selected Extended Papers of CADE 2015
Felty, Amy
Middeldorp, Aart
JOURNAL OF AUTOMATED REASONING, 2017, 58 (03) : 311 - 312
[10] Preface: Selected Extended Papers of CADE 2015
Amy Felty
Aart Middeldorp
Journal of Automated Reasoning, 2017, 58 : 311 - 312

← 1 2 3 4 5 →