![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
PEPM 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.