default search action
PEPM 2010: Madrid, Spain
- John P. Gallagher, Janis Voigtländer:
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. ACM 2010, ISBN 978-1-60558-727-1 - Lennart Augustsson:
O, partial evaluator, where art thou? 1-2 - Jeremy G. Siek:
General purpose languages should be metalanguages. 3-4
Session 1: Java/Scala types
- Nabil El Boustani, Jurriaan Hage:
Corrective hints for type incorrect generic Java programs. 5-14 - Johannes Rudolph, Peter Thiemann:
Mnemonics: type-safe bytecode generation at run time. 15-24
Session 2: tools 1
- Elvira Albert, Miguel Gómez-Zamalloa
, Germán Puebla:
PET: a partial evaluation-based test case generation tool for Java bytecode. 25-28 - Martin Hofmann:
IGOR2 - an analytical inductive functional programming system: tool demo. 29-32
Session 3: program transformation
- José Pedro Magalhães
Optimizing generics is easy! 33-42 - María Alpuente
A fold/unfold transformation framework for rewrite theories extended to CCT. 43-52
Session 4: termination
- Hugh Anderson, Siau-Cheng Khoo:
Regular approximation and bounded domains for size-change termination. 53-62 - Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest:
A3PAT, an approach for certified automated termination proofs. 63-72
Session 5: innovative programming
- Fritz Henglein:
Optimizing relational algebra operations using generic equivalence discriminators and lazy products. 73-82 - Adrián Riesco
Programming with singular and plural non-deterministic functions. 83-92
Session 6: synthesis and compilation
- Martin Hofmann, Emanuel Kitzelmann:
I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP. 93-100 - Andrew Moss, Dan Page:
Bridging the gap between symbolic and efficient AES implementations. 101-110
Session 7: Haskell analysis/transformation
- Christopher Brown, Simon J. Thompson
Clone detection and elimination for Haskell. 111-120 - Stefan Holdermans, Jurriaan Hage:
Making "stricterness" more relevant. 121-130
Session 8: static analysis techniques
- Arun Lakhotia, Davidson R. Boccardo, Anshuman Singh, Aleardo Manacero
Context-sensitive analysis of obfuscated x86 executables. 131-140 - Xin Li, Mizuhito Ogawa:
Conditional weighted pushdown systems and applications. 141-150
Session 9: tools 2
- Ivan Lazar Miljenovic:
The SourceGraph program. 151-154 - Florian Haftmann:
From higher-order logic to Haskell: there and back again. 155-158
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-01-23 20:17 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: