home
news
Statistics
browse
conferences
journals
series
search
author
CompleteSearch
Faceted Search @ L3S
Free Search @ isearch
about
f.a.q.
team
legal bits
PEPM
2011: Austin, TX, USA
Siau-Cheng Khoo
,
Jeremy G. Siek
(Eds.): 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
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/DanvyJZ11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Olivier Danvy
,
Jacob Johannsen
,
Ian Zerny
:
A walk in the semantic park.
1-12
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/VardoulakisS11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Dimitrios Vardoulakis
,
Olin Shivers
:
Ordering multiple continuations on the stack.
13-22
Partial evaluation
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/Mogensen11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Torben Æ. Mogensen:
Partial evaluation of the reversible language janus.
23-32
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/JonssonN11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Peter A. Jonsson
,
Johan Nordlander
:
Taming code explosion in supercompilation.
33-42
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/BolzCFLPR11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Carl Friedrich Bolz
,
Antonio Cuni
,
Maciej FijaBkowski
,
Michael Leuschel
,
Samuele Pedroni
,
Armin Rigo
:
Allocation removal by partial evaluation in a tracing JIT.
43-52
Embedded languages
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/CaretteES11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Jacques Carette
,
Mustafa Elsheikh
,
Spencer Smith
:
A generative geometric kernel.
53-62
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/WangG11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yan Wang
,
Verónica Gaspes
:
An embedded language for programming protocol stacks in embedded systems.
63-72
Tools
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/AlbertBGHPR11
ask others
Google
Google Scholar
MS Academic Search
PubZone
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
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/Consel11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Charles Consel
:
DiaSuite: a paradigm-oriented software development approach.
77-78
Invited talk 3 and program synthesis
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/Rinard11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Martin C. Rinard
:
Probabilistic accuracy bounds for perforated programs: a new foundation for program analysis and transformation.
79-80
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/BauerEFP11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Tim Bauer
,
Martin Erwig
,
Alan Fern
,
Jervis Pinto
:
Adaptation-based programming in java.
81-90
Program calculations
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/PachecoC11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Hugo Pacheco
,
Alcino Cunha
:
Calculating with lenses: optimising bidirectional transformations.
91-100
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/IkedaN11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Yuta Ikeda
,
Susumu Nishimura
:
Calculating tree navigation with symmetric relational zipper.
101-110
Functional-logic programming
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/Caballero11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Rafael Caballero
:
A program transformation for returning states in functional-logic programs.
111-120
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/Martin-Martin11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Enrique Martin-Martin
:
Type classes in functional logic programming.
121-130
Functional programming
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/FernandesSSV11
ask others
Google
Google Scholar
MS Academic Search
PubZone
João Paulo Fernandes
,
João Saraiva
,
Daniel Seidel
,
Janis Voigtländer
:
Strictification of circular programs.
131-140
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/Chitil11
ask others
Google
Google Scholar
MS Academic Search
PubZone
Olaf Chitil
:
A semantics for lazy assertions.
141-150
view
electronic edition @ acm.org
export record as
BibTeX
XML
dblp key:
conf/pepm/PlasmeijerAKLNG11
ask others
Google
Google Scholar
MS Academic Search
PubZone
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