PEPM 2016 – Proceedings

Frontmatter

Parsing

Practical, General Parser Combinators
Anastasia Izmaylova, Ali Afroozeh, and Tijs van der Storm
(CWI, Netherlands)

@InProceedings{PEPM16p1, author = {Anastasia Izmaylova and Ali Afroozeh and Tijs van der Storm}, title = {Practical, General Parser Combinators}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pepm16main-mainid18-p (type: Full Paper (12 pages)) doi:

Operator Precedence for Data-Dependent Grammars
Ali Afroozeh and Anastasia Izmaylova
(CWI, Netherlands)

@InProceedings{PEPM16p13, author = {Ali Afroozeh and Anastasia Izmaylova}, title = {Operator Precedence for Data-Dependent Grammars}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, } Article: pepm16main-mainid19-p (type: Full Paper (12 pages)) doi:

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)

@InProceedings{PEPM16p25, author = {Shayan Najd and Sam Lindley and Josef Svenningsson and Philip Wadler}, title = {Everything Old Is New Again: Quoted Domain-Specific Languages}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, } Article: pepm16main-mainid3-p (type: Full Paper (12 pages)) doi:

Finally, Safely-Extensible and Efficient Language-Integrated Query
Kenichi Suzuki, Oleg Kiselyov, and Yukiyoshi Kameyama
(University of Tsukuba, Japan; Tohoku University, Japan)

@InProceedings{PEPM16p37, author = {Kenichi Suzuki and Oleg Kiselyov and Yukiyoshi Kameyama}, title = {Finally, Safely-Extensible and Efficient Language-Integrated Query}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2016}, } Article: pepm16main-mainid14-p (type: Full Paper (12 pages)) doi:

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)

@InProceedings{PEPM16p49, author = {Hendrik van Antwerpen and Pierre Néron and Andrew Tolmach and Eelco Visser and Guido Wachsmuth}, title = {A Constraint Language for Static Semantic Analysis Based on Scope Graphs}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, } Article: pepm16main-mainid15-p (type: Full Paper (12 pages)) doi:

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)

@InProceedings{PEPM16p61, author = {Hsiang-Shang Ko and Tao Zan and Zhenjiang Hu}, title = {BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, } Article: pepm16main-mainid6-p (type: Full Paper (12 pages)) doi:

Staging

Removing Runtime Overhead for Optimized Object Queries
Jon Brandvein and Yanhong A. Liu
(Stony Brook University, USA)

@InProceedings{PEPM16p73, author = {Jon Brandvein and Yanhong A. Liu}, title = {Removing Runtime Overhead for Optimized Object Queries}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2016}, } Article: pepm16main-mainid5-p (type: Full Paper (12 pages)) doi:

Staging Generic Programming
Jeremy Yallop
(University of Cambridge, UK)

@InProceedings{PEPM16p85, author = {Jeremy Yallop}, title = {Staging Generic Programming}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2016}, } Article: pepm16main-mainid21-p (type: Full Paper (12 pages)) doi:

Toward Introducing Binding-Time Analysis to MetaOCaml
Kenichi Asai
(Ochanomizu University, Japan)

@InProceedings{PEPM16p97, author = {Kenichi Asai}, title = {Toward Introducing Binding-Time Analysis to MetaOCaml}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2016}, } Article: pepm16main-mainid8-p (type: Short Paper (6 pages)) doi:

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)

@InProceedings{PEPM16p103, author = {Jun Inoue and Oleg Kiselyov and Yukiyoshi Kameyama}, title = {Staging beyond Terms: Prospects and Challenges}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: pepm16main-mainid13-p (type: Short Paper (6 pages)) doi:

proc time: 0.02