PEPM 2017
2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2017)
Powered by
Conference Publishing Consulting
2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2017)
,
January 16–17, 2017
,
Paris, France
PEPM 2017 – Proceedings
Contents
-
Abstracts
-
Authors
Frontmatter
Title Page
Message from the Workshop Chairs
Invited Paper
Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation (Invited Paper)
Daniil Berezun and Neil D. Jones
(JetBrains, Russia; St. Petersburg State University, Russia; University of Copenhagen, Denmark)
Programming Languages
Detecting Code Clones with Gaps by Function Applications
Tsubasa Matsushita and Isao Sasano
(Shibaura Institute of Technology, Japan)
Info
Lightweight Soundness for Towers of Language Extensions
Alejandro Serrano and
Jurriaan Hage
(Utrecht University, Netherlands)
PEG Parsing in Less Space using Progressive Tabling and Dynamic Analysis
Fritz Henglein
and Ulrik Terp Rasmussen
(University of Copenhagen, Denmark)
Transformation
Interactive Data Representation Migration: Exploiting Program Dependence to Aid Program Transformation
Krishna Narasimhan, Christoph Reichenbach, and Julia Lawall
(Goethe University Frankfurt, Germany; R² Software & Systeme, Germany; Sorbonne, France; UPMC, France; Inria, France; LIP6, France)
Verification of Code Generators via Higher-Order Model Checking
Takashi Suwa, Takeshi Tsukada,
Naoki Kobayashi
, and
Atsushi Igarashi
(University of Tokyo, Japan; Kyoto University, Japan)
A Functional Reformulation of UnCAL Graph-Transformations: Or, Graph Transformation as Graph Reduction
Kazutaka Matsuda
and Kazuyuki Asada
(Tohoku University, Japan; University of Tokyo, Japan)
Functional Parallels of Sequential Imperatives (Short Paper)
Tiark Rompf
and Kevin J. Brown
(Purdue University, USA; Stanford University, USA)
Types
Cost versus Precision for Approximate Typing for Python
Levin Fritz and
Jurriaan Hage
(Utrecht University, Netherlands)
Predicting Resource Consumption of Higher-Order Workflows
Markus Klinik,
Jurriaan Hage
, Jan Martin Jansen, and Rinus Plasmeijer
(Radboud University Nijmegen, Netherlands; Utrecht University, Netherlands; Netherlands Defence Academy, Netherlands)
Refining Types using Type Guards in TypeScript
Ivo Gabe de Wolff
and
Jurriaan Hage
(Utrecht University, Netherlands)
Poster
Language-Integrated Query with Ordering, Grouping and Outer Joins (Poster Paper)
Tatsuya Katsushima and
Oleg Kiselyov
(Tohoku University, Japan)
proc time: 0.71