share record
persistent URL:
Casper Bach Poulsen , Peter D. Mosses , Paolo Torrini : Imperative Polymorphism by Store-Based Types as Abstract Interpretations. PEPM 2015 : 3-8 share record
persistent URL:
Hidde Verstoep , Jurriaan Hage : Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. PEPM 2015 : 139-142 export record
dblp key:
conf/pepm/VinayakaraoPN15 share record
persistent URL:
Venkatesh Vinayakarao , Rahul Purandare , Aditya V. Nori : Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources. PEPM 2015 : 21-26 share record
persistent URL:
Kenichi Asai , Kostis Sagonas : Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. ACM 2015 , ISBN 978-1-4503-3297-2 [contents] 2014 share record
persistent URL:
Sheng Chen , Martin Erwig : Early detection of type errors in C++ templates. PEPM 2014 : 133-144 share record
persistent URL:
Michael D. Adams , Andrew Farmer , José Pedro Magalhães : Optimizing SYB is easy! PEPM 2014 : 71-82 share record
persistent URL:
Jeroen Bransen , Atze Dijkstra , S. Doaitse Swierstra : Lazy stateless incremental evaluation machinery for attribute grammars. PEPM 2014 : 145-156 share record
persistent URL:
James Cheney , Sam Lindley , Gabriel Radanne , Philip Wadler : Effective quotation: relating approaches to language-integrated query. PEPM 2014 : 15-26 share record
persistent URL:
Andreea Costea , Asankhaya Sharma , Cristina David : HIPimm: verifying granular immutability guarantees. PEPM 2014 : 189-194 share record
persistent URL:
Manuel Fähndrich : Lessons from a web-based IDE and runtime. PEPM 2014 : 1-2 share record
persistent URL:
Andrew Farmer , Christian Höner zu Siederdissen , Andy Gill : The HERMIT in the stream: fusing stream fusion's concatMap. PEPM 2014 : 97-108 export record
dblp key:
conf/pepm/Garcia-PerezNS14 share record
persistent URL:
Álvaro García-Pérez , Pablo Nogueira , Ilya Sergey : Deriving interpretations of the gradually-typed lambda calculus. PEPM 2014 : 157-168 share record
persistent URL:
Michael Hanus , Fabian Skrlac : A modular and generic analysis server system for functional logic programs. PEPM 2014 : 181-188 share record
persistent URL:
Yukiyoshi Kameyama , Oleg Kiselyov , Chung-chieh Shan : Combinators for impure yet hygienic code generation. PEPM 2014 : 3-14 share record
persistent URL:
Gabriel Kerneis , Charlie Shepherd , Stefan Hajnoczi : QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. PEPM 2014 : 83-94 share record
persistent URL:
Sean Leather , Johan Jeuring , Andres Löh , Bram Schuur : Type-changing rewriting and semantics-preserving transformation. PEPM 2014 : 109-120 share record
persistent URL:
Huiqing Li , Simon J. Thompson , Pablo Lamela Seijas , Miguel Angel Francisco : Automating property-based testing of evolving web services. PEPM 2014 : 169-180 share record
persistent URL:
Pedro Martins , João Saraiva , João Paulo Fernandes , Eric Van Wyk : Generating attribute grammar-based bidirectional transformations from rewrite rules. PEPM 2014 : 63-70 share record
persistent URL:
Weiyu Miao , Jeremy G. Siek : Compile-time reflection and metaprogramming for Java. PEPM 2014 : 27-38 share record
persistent URL:
Hugo Pacheco , Zhenjiang Hu , Sebastian Fischer : Monadic combinators for "Putback" style bidirectional programming. PEPM 2014 : 39-50 share record
persistent URL:
Étienne Payet , Fausto Spoto : An operational semantics for android activities. PEPM 2014 : 121-132 share record
persistent URL:
Sven-Bodo Scholz : Partial evaluation as universal compiler tool: experiences from the SAC Eco system. PEPM 2014 : 95-96 share record
persistent URL:
Meng Wang , Shayan Najd : Semantic bidirectionalization revisited. PEPM 2014 : 51-62 share record
persistent URL:
Wei-Ngan Chin , Jurriaan Hage : Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA. ACM 2014 , ISBN 978-1-4503-2619-3 [contents] 2013 share record
persistent URL:
Baris Aktemur , Yukiyoshi Kameyama , Oleg Kiselyov , Chung-chieh Shan : Shonan challenge for generative programming: short position paper. PEPM 2013 : 147-154 share record
persistent URL:
María Alpuente , Marco A. Feliú , Alicia Villanueva : Automatic inference of specifications using matching logic. PEPM 2013 : 127-136 share record
persistent URL:
Emanuele De Angelis , Fabio Fioravanti , Alberto Pettorossi , Maurizio Proietti : Verifying programs via iterated specialization. PEPM 2013 : 43-52 share record
persistent URL:
Michael Carbin , Deokhwan Kim , Sasa Misailovic , Martin C. Rinard : Verified integrity properties for safe approximate program transformations. PEPM 2013 : 63-66 share record
persistent URL:
Marco Comini , Luca Torella : TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. PEPM 2013 : 67-70 share record
persistent URL:
Dominique Devriese , Ilya Sergey , Dave Clarke , Frank Piessens : Fixing idioms: a recursion primitive for applicative DSLs. PEPM 2013 : 97-106