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)
Publisher's Version Article Search

Programming Languages

Detecting Code Clones with Gaps by Function Applications
Tsubasa Matsushita and Isao Sasano
(Shibaura Institute of Technology, Japan)
Publisher's Version Article Search Info
Lightweight Soundness for Towers of Language Extensions
Alejandro Serrano and Jurriaan Hage
(Utrecht University, Netherlands)
Publisher's Version Article Search
PEG Parsing in Less Space using Progressive Tabling and Dynamic Analysis
Fritz Henglein and Ulrik Terp Rasmussen
(University of Copenhagen, Denmark)
Publisher's Version Article Search

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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
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)
Publisher's Version Article Search
Functional Parallels of Sequential Imperatives (Short Paper)
Tiark Rompf and Kevin J. Brown
(Purdue University, USA; Stanford University, USA)
Publisher's Version Article Search

Types

Cost versus Precision for Approximate Typing for Python
Levin Fritz and Jurriaan Hage
(Utrecht University, Netherlands)
Publisher's Version Article Search
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)
Publisher's Version Article Search
Refining Types using Type Guards in TypeScript
Ivo Gabe de Wolff and Jurriaan Hage
(Utrecht University, Netherlands)
Publisher's Version Article Search

Poster

Language-Integrated Query with Ordering, Grouping and Outer Joins (Poster Paper)
Tatsuya Katsushima and Oleg Kiselyov
(Tohoku University, Japan)
Publisher's Version Article Search

proc time: 0.49