default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 2014: San Diego, CA, USA
- 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
Keynote address
- Manuel Fähndrich:
Lessons from a web-based IDE and runtime. 1-2
Session 2
- Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Combinators for impure yet hygienic code generation. 3-14 - James Cheney
, Sam Lindley, Gabriel Radanne, Philip Wadler:
Effective quotation: relating approaches to language-integrated query. 15-26 - Weiyu Miao, Jeremy G. Siek:
Compile-time reflection and metaprogramming for Java. 27-38
Session 3
- Hugo Pacheco, Zhenjiang Hu, Sebastian Fischer:
Monadic combinators for "Putback" style bidirectional programming. 39-50 - Meng Wang, Shayan Najd:
Semantic bidirectionalization revisited. 51-62 - Pedro Martins, João Saraiva, João Paulo Fernandes, Eric Van Wyk:
Generating attribute grammar-based bidirectional transformations from rewrite rules. 63-70
Session 4
- Michael D. Adams, Andrew Farmer, José Pedro Magalhães:
Optimizing SYB is easy! 71-82 - Gabriel Kerneis, Charlie Shepherd, Stefan Hajnoczi:
QEMU/CPC: static analysis and CPS conversion for safe, portable, and efficient coroutines. 83-94
Keynote address
- Sven-Bodo Scholz:
Partial evaluation as universal compiler tool: experiences from the SAC Eco system. 95-96
Session 6
- Andrew Farmer, Christian Höner zu Siederdissen, Andy Gill:
The HERMIT in the stream: fusing stream fusion's concatMap. 97-108 - Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur:
Type-changing rewriting and semantics-preserving transformation. 109-120 - Étienne Payet, Fausto Spoto:
An operational semantics for android activities. 121-132
Session 7
- Sheng Chen, Martin Erwig:
Early detection of type errors in C++ templates. 133-144 - Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra:
Lazy stateless incremental evaluation machinery for attribute grammars. 145-156 - Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey:
Deriving interpretations of the gradually-typed lambda calculus. 157-168
Session 8
- Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco:
Automating property-based testing of evolving web services. 169-180 - Michael Hanus, Fabian Skrlac:
A modular and generic analysis server system for functional logic programs. 181-188 - Andreea Costea, Asankhaya Sharma, Cristina David:
HIPimm: verifying granular immutability guarantees. 189-194
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-06-26 20:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
