PEPM 2016
2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2016)
Powered by
Conference Publishing Consulting
2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2016), January 18–19, 2016, St. Petersburg, FL, USA

PEPM 2016 – Proceedings

 Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs
Committees

Parsing

Practical, General Parser Combinators
Anastasia Izmaylova, Ali Afroozeh, and Tijs van der Storm
(CWI, Netherlands)
Operator Precedence for Data-Dependent Grammars
Ali Afroozeh and Anastasia Izmaylova
(CWI, Netherlands)

Domain-Specific Languages 1

Everything Old Is New Again: Quoted Domain-Specific Languages
Shayan Najd, Sam Lindley, Josef Svenningsson, and Philip Wadler
(University of Edinburgh, UK; Chalmers University of Technology, Sweden)
Finally, Safely-Extensible and Efficient Language-Integrated Query
Kenichi Suzuki, Oleg Kiselyov, and Yukiyoshi Kameyama
(University of Tsukuba, Japan; Tohoku University, Japan)
Info

Domain-Specific Languages 2

A Constraint Language for Static Semantic Analysis Based on Scope Graphs
Hendrik van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth
(Delft University of Technology, Netherlands; Portland State University, USA)
BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming
Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu
(National Institute of Informatics, Japan; Sokendai, Japan)
Info

Staging

Removing Runtime Overhead for Optimized Object Queries
Jon Brandvein and Yanhong A. Liu
(Stony Brook University, USA)
Staging Generic Programming
Jeremy Yallop
(University of Cambridge, UK)
Toward Introducing Binding-Time Analysis to MetaOCaml
Kenichi Asai
(Ochanomizu University, Japan)
Staging beyond Terms: Prospects and Challenges
Jun Inoue, Oleg Kiselyov, and Yukiyoshi Kameyama
(National Institute of Advanced Industrial Science and Technology, Japan; Tohoku University, Japan; University of Tsukuba, Japan)

proc time: 0.7