Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 2002: Portland, OR, USA
- Peter Thiemann:
Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002. ACM 2002, ISBN 1-58113-455-X
Invited Talk
- Craig Chambers:
Staged compilation. 1-8
Session 1
- Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
Towards bridging the gap between programming languages and partial evaluation. 9-18 - Kenichi Asai:
Online partial evaluation for shift and reset. 19-30 - Claus Brabrand, Michael I. Schwartzbach:
Growing languages with metamorphic syntax macros. 31-40
Session 2
- Jens P. Secher, Morten Heine Sørensen:
From checking to inference via driving and dag grammars. 41-51 - Germán Vidal
:
Cost-augmented narrowing-driven specialization. 52-62 - Lunjin Lu:
Path dependent analysis of logic programs. 63-74
Session 3
- Gustavo Gomez, Yanhong A. Liu:
Automatic time-bound analysis for a higher-order language. 75-86 - Roberto Giacobazzi, Isabella Mastroeni:
Compositionality in the puzzle of semantics. 87-97
Invited Talk
- Christian H. Bischof, Paul D. Hovland, Boyana Norris:
Implementation of automatic differentiation tools. 98-107
Session 4
- Yanhong A. Liu, Scott D. Stoller:
Program optimization using indexed and recursive data structures. 108-118 - Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones:
Mixed-initiative interaction = mixed computation. 119-130 - Gilles Barthe, Tarmo Uustalu:
CPS translating inductive and coinductive types. 131-142
a service of 
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 2024-04-22 20:00 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:
