PEPM 2013: Rome, Italy
- Elvira Albert, Shin-Cheng Mu:
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, PEPM 2013, Rome, Italy, January 21-22, 2013. ACM 2013, ISBN 978-1-4503-1842-6
Keynote address 1
Session 1
- Jeroen Weijers, Jurriaan Hage, Stefan Holdermans:
Security type error diagnosis for higher-order, polymorphic languages. 3-12 - Axel Simon:
Deriving a complete type inference for hindley-milner and vector sizes using expansion. 13-22 - Konstantinos Sagonas, Josep Silva, Salvador Tamarit:
Precise explanation of success typing errors. 33-42
Session 2
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Verifying programs via iterated specialization. 43-52 - Ryosuke Sato, Hiroshi Unno, Naoki Kobayashi:
Towards a scalable software model checker for higher-order programs. 53-62 - Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard:
Verified integrity properties for safe approximate program transformations. 63-66
Session 3
- Marco Comini, Luca Torella:
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems. 67-70 - Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner:
Traceability and evidence of correctness of EDSL abstractions. 71-74
Keynote address 2
Session 4
- Bruno Martinez, Marcos Viera, Alberto Pardo:
Just do it while compiling!: fast extensible records in haskell. 77-86 - Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens:
Fixing idioms: a recursion primitive for applicative DSLs. 97-106 - Álvaro García-Pérez, Pablo Nogueira:
A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. 107-116
Session 5
- María Alpuente, Marco A. Feliú, Alicia Villanueva:
Automatic inference of specifications using matching logic. 127-136
Session 6
- Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shonan challenge for generative programming: short position paper. 147-154