PEPM C

11 papers

YearTitle / Authors
2016A constraint language for static semantic analysis based on scope graphs.
Hendrik van Antwerpen, Pierre Neron, Andrew P. Tolmach, Eelco Visser, Guido Wachsmuth
2016BiGUL: a formally verified core language for putback-based bidirectional programming.
Hsiang-Shang Ko, Tao Zan, Zhenjiang Hu
2016Everything old is new again: quoted domain-specific languages.
Shayan Najd, Sam Lindley, Josef Svenningsson, Philip Wadler
2016Finally, safely-extensible and efficient language-integrated query.
Kenichi Suzuki, Oleg Kiselyov, Yukiyoshi Kameyama
2016Operator precedence for data-dependent grammars.
Ali Afroozeh, Anastasia Izmaylova
2016Practical, general parser combinators.
Anastasia Izmaylova, Ali Afroozeh, Tijs van der Storm
2016Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2016, St. Petersburg, FL, USA, January 20 - 22, 2016
Martin Erwig, Tiark Rompf
2016Removing runtime overhead for optimized object queries.
Jon Brandvein, Yanhong A. Liu
2016Staging beyond terms: prospects and challenges.
Jun Inoue, Oleg Kiselyov, Yukiyoshi Kameyama
2016Staging generic programming.
Jeremy Yallop
2016Toward introducing binding-time analysis to MetaOCaml.
Kenichi Asai