PEPM - Partial Evaluation and Semantic-Based Program Manipulation

Subscribe

Academic

PEPM - Partial Evaluation and Semantic-Based Program Manipulation

PEPM - Partial Evaluation and Semantic-Based Program Manipulation

Publications: 309| Citation Count: 3,398 (Self-Citation: 212) |H-Index: 28
Year Range: 1991-2011

Interests: Programming Languages

Paper submissions due: 16 October 2011, Duration: 23 - 24 January 2012, Philadelphia, United States of America

Homepage |

CFP

Cumulative Annual

Order by:

Publications (309)

An embedded language for programming protocol stacks in embedded systems (Citations: 1)

Yan Wang, Verónica Gaspes

Conference: Partial Evaluation and Semantic-Based Program Manipulation - PEPM , pp. 63-72, 2011
Allocation removal by partial evaluation in a tracing JIT

Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski, Michael Leuschel, Samuele Pedroni, Armin Rigo

Conference: Partial Evaluation and Semantic-Based Program Manipulation - PEPM , pp. 43-52, 2011
Verified resource guarantees using COSTA and KeY

Elvira Albert, Richard Bubel, Samir Genaim, Reiner Hähnle, Germán Puebla, Guillermo Román-Díez

Conference: Partial Evaluation and Semantic-Based Program Manipulation - PEPM , pp. 73-76, 2011
iTasks for a change: type-safe run-time change in dynamically evolving workflows

Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman, Bas Lijnse, Thomas van Noort, John H. G. van Groningen

Conference: Partial Evaluation and Semantic-Based Program Manipulation - PEPM , pp. 151-160, 2011
A walk in the semantic park

Olivier Danvy, Jacob Johannsen, Ian Zerny

Conference: Partial Evaluation and Semantic-Based Program Manipulation - PEPM , pp. 1-12, 2011