default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 2011: Austin, TX, USA
- Siau-Cheng Khoo, Jeremy G. Siek:
Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011. ACM 2011, ISBN 978-1-4503-0485-6
Invited talk 1 and continuations
- Olivier Danvy
, Jacob Johannsen, Ian Zerny:
A walk in the semantic park. 1-12 - Dimitrios Vardoulakis, Olin Shivers:
Ordering multiple continuations on the stack. 13-22
Partial evaluation
- Torben Æ. Mogensen:
Partial evaluation of the reversible language janus. 23-32 - Peter A. Jonsson, Johan Nordlander:
Taming code explosion in supercompilation. 33-42 - Carl Friedrich Bolz, Antonio Cuni, Maciej Fijalkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo:
Allocation removal by partial evaluation in a tracing JIT. 43-52
Embedded languages
- Jacques Carette, Mustafa Elsheikh, W. Spencer Smith:
A generative geometric kernel. 53-62 - Yan Wang, Verónica Gaspes:
An embedded language for programming protocol stacks in embedded systems. 63-72
Tools
- Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez:
Verified resource guarantees using COSTA and KeY. 73-76
Invited talk 2
- Charles Consel:
DiaSuite: a paradigm-oriented software development approach. 77-78
Invited talk 3 and program synthesis
- Martin C. Rinard:
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation. 79-80 - Tim Bauer, Martin Erwig, Alan Fern, Jervis Pinto:
Adaptation-based programming in java. 81-90
Program calculations
- Hugo Pacheco, Alcino Cunha:
Calculating with lenses: optimising bidirectional transformations. 91-100 - Yuta Ikeda, Susumu Nishimura:
Calculating tree navigation with symmetric relational zipper. 101-110
Functional-logic programming
- Rafael Caballero:
A program transformation for returning states in functional-logic programs. 111-120 - Enrique Martin-Martin:
Type classes in functional logic programming. 121-130
Functional programming
- João Paulo Fernandes, João Saraiva, Daniel Seidel, Janis Voigtländer:
Strictification of circular programs. 131-140 - Olaf Chitil:
A semantics for lazy assertions. 141-150 - Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen:
iTasks for a change: type-safe run-time change in dynamically evolving workflows. 151-160
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-02-21 19:40 CET 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:
