share record
persistent URL:
Tsubasa Matsushita , Isao Sasano : Detecting code clones with gaps by function applications. PEPM 2017 : 12-22 share record
persistent URL:
Krishna Narasimhan , Christoph Reichenbach , Julia Lawall : Interactive data representation migration: exploiting program dependence to aid program transformation. PEPM 2017 : 47-58 share record
persistent URL:
Tiark Rompf , Kevin J. Brown : Functional parallels of sequential imperatives (short paper). PEPM 2017 : 83-88 share record
persistent URL:
Alejandro Serrano , Jurriaan Hage : Lightweight soundness for towers of language extensions. PEPM 2017 : 23-34 share record
persistent URL:
Takashi Suwa , Takeshi Tsukada , Naoki Kobayashi , Atsushi Igarashi : Verification of code generators via higher-order model checking. PEPM 2017 : 59-70 share record
persistent URL:
Ivo Gabe de Wolff , Jurriaan Hage : Refining types using type guards in TypeScript. PEPM 2017 : 111-122 share record
persistent URL:
Ulrik Pagh Schultz , Jeremy Yallop : Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017. ACM 2017 , ISBN 978-1-4503-4721-1 [contents] 2016 share record
persistent URL:
Ali Afroozeh , Anastasia Izmaylova : Operator precedence for data-dependent grammars. PEPM 2016 : 13-24 export record
dblp key:
conf/pepm/AntwerpenNTVW16 share record
persistent URL:
Hendrik van Antwerpen , Pierre Neron , Andrew P. Tolmach , Eelco Visser , Guido Wachsmuth : A constraint language for static semantic analysis based on scope graphs. PEPM 2016 : 49-60 share record
persistent URL:
Kenichi Asai : Toward introducing binding-time analysis to MetaOCaml. PEPM 2016 : 97-102 share record
persistent URL:
Jon Brandvein , Yanhong A. Liu : Removing runtime overhead for optimized object queries. PEPM 2016 : 73-84 share record
persistent URL:
Jun Inoue , Oleg Kiselyov , Yukiyoshi Kameyama : Staging beyond terms: prospects and challenges. PEPM 2016 : 103-108 share record
persistent URL:
Anastasia Izmaylova , Ali Afroozeh , Tijs van der Storm : Practical, general parser combinators. PEPM 2016 : 1-12 share record
persistent URL:
Hsiang-Shang Ko , Tao Zan , Zhenjiang Hu : BiGUL: a formally verified core language for putback-based bidirectional programming. PEPM 2016 : 61-72 share record
persistent URL:
Shayan Najd , Sam Lindley , Josef Svenningsson , Philip Wadler : Everything old is new again: quoted domain-specific languages. PEPM 2016 : 25-36 share record
persistent URL:
Kenichi Suzuki , Oleg Kiselyov , Yukiyoshi Kameyama : Finally, safely-extensible and efficient language-integrated query. PEPM 2016 : 37-48 share record
persistent URL:
Jeremy Yallop : Staging generic programming. PEPM 2016 : 85-96 share record
persistent URL:
Martin Erwig , Tiark Rompf : Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. ACM 2016 , ISBN 978-1-4503-4097-7 [contents] 2015 share record
persistent URL:
Kazuyuki Asada , Ryosuke Sato , Naoki Kobayashi : Verifying Relational Properties of Functional Programs by First-Order Refinement. PEPM 2015 : 61-72 share record
persistent URL:
Patrick Bahr , Emil Axelsson : Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain. PEPM 2015 : 27-38 share record
persistent URL:
L. Thomas van Binsbergen , Jeroen Bransen , Atze Dijkstra : Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. PEPM 2015 : 49-60 share record
persistent URL:
Jeroen Bransen , Atze Dijkstra , S. Doaitse Swierstra : Incremental Evaluation of Higher Order Attributes. PEPM 2015 : 39-48 share record
persistent URL:
Henk Erik Van der Hoek , Jurriaan Hage : Object-sensitive Type Analysis of PHP. PEPM 2015 : 9-20 share record
persistent URL:
Bishoksan Kafle , John P. Gallagher : Constraint Specialisation in Horn Clause Verification. PEPM 2015 : 85-90 share record
persistent URL:
Ruud Koot , Jurriaan Hage : Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. PEPM 2015 : 127-138 export record
dblp key:
conf/pepm/Krishnamurthi15 share record
persistent URL:
Shriram Krishnamurthi : Desugaring in Practice: Opportunities and Challenges. PEPM 2015 : 1-2 share record
persistent URL:
Duy-Khanh Le , Wei-Ngan Chin , Yong Meng Teo : Threads as Resource for Concurrency Verification. PEPM 2015 : 73-84 share record
persistent URL:
Huiqing Li , Simon J. Thompson : Safe Concurrency Introduction through Slicing. PEPM 2015 : 103-113 share record
persistent URL:
Jun Li , Chenglong Wang , Yingfei Xiong , Zhenjiang Hu : SWIN: Towards Type-Safe Java Program Adaptation between APIs. PEPM 2015 : 91-102 share record
persistent URL:
Björn Lisper , Abu Naser Masud , Husni Khanfar : Static Backward Demand-Driven Slicing. PEPM 2015 : 115-126