default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 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
- Zhenjiang Hu:
Practical aspects of bidirectional graph transformations. 1-2
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 - Francisco Javier López-Fraguas, Enrique Martin-Martin:
Typing as functional-logic evaluation. 23-32 - 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
- Peter Thiemann:
Partially static operations. 75-76
Session 4
- Bruno Martinez, Marcos Viera, Alberto Pardo:
Just do it while compiling!: fast extensible records in haskell. 77-86 - Bruno C. d. S. Oliveira, Andres Löh:
Abstract syntax graphs for domain specific languages. 87-96 - 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
- Marco Servetto, Elena Zucca:
A meta-circular language for active libraries. 117-126 - María Alpuente, Marco A. Feliú, Alicia Villanueva:
Automatic inference of specifications using matching logic. 127-136 - Qiang Sun, Yuting Chen, Jianjun Zhao:
Constraint-based locality analysis for X10 programs. 137-146
Session 6
- Baris Aktemur, Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan:
Shonan challenge for generative programming: short position paper. 147-154
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-06-02 01:35 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:
