Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450347211

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper)

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 ◽

10.1145/3018882.3020004 ◽

2017 ◽

Cited By ~ 3

Author(s):

Daniil Berezun ◽

Neil D. Jones

Keyword(s):

Partial Evaluation ◽

Lambda Calculus ◽

Game Semantics

Cost versus precision for approximate typing for Python

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 ◽

10.1145/3018882.3018888 ◽

2017 ◽

Cited By ~ 4

Author(s):

Levin Fritz ◽

Jurriaan Hage

Detecting code clones with gaps by function applications

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 ◽

10.1145/3018882.3018892 ◽

2017 ◽

Cited By ~ 4

Author(s):

Tsubasa Matsushita ◽

Isao Sasano

Keyword(s):

Code Clones

Functional parallels of sequential imperatives (short paper)

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 ◽

10.1145/3018882.3018891 ◽

2017 ◽

Cited By ~ 1

Author(s):

Tiark Rompf ◽

Kevin J. Brown

Keyword(s):

Short Paper

Lightweight soundness for towers of language extensions

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 ◽

10.1145/3018882.3018884 ◽

2017 ◽

Cited By ~ 1

Author(s):

Alejandro Serrano ◽

Jurriaan Hage

A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 ◽

10.1145/3018882.3018883 ◽

2017 ◽

Cited By ~ 1

Author(s):

Kazutaka Matsuda ◽

Kazuyuki Asada

Keyword(s):

Graph Transformation ◽

Graph Reduction ◽

Graph Transformations ◽

As Graph

Language-integrated query with ordering, grouping and outer joins (poster paper)

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 ◽

10.1145/3018882.3018893 ◽

2017 ◽

Author(s):

Tatsuya Katsushima ◽

Oleg Kiselyov

Keyword(s):

Poster Paper

Verification of code generators via higher-order model checking

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 ◽

10.1145/3018882.3018886 ◽

2017 ◽

Author(s):

Takashi Suwa ◽

Takeshi Tsukada ◽

Naoki Kobayashi ◽

Atsushi Igarashi

Keyword(s):

Model Checking ◽

Higher Order ◽

Order Model ◽

Code Generators

Predicting resource consumption of higher-order workflows

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 ◽

10.1145/3018882.3018885 ◽

2017 ◽

Cited By ~ 1

Author(s):

Markus Klinik ◽

Jurriaan Hage ◽

Jan Martin Jansen ◽

Rinus Plasmeijer

Keyword(s):

Higher Order ◽

Resource Consumption

PEG parsing in less space using progressive tabling and dynamic analysis

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017 ◽

10.1145/3018882.3018889 ◽

2017 ◽

Cited By ~ 2

Author(s):

Fritz Henglein ◽

Ulrik Terp Rasmussen

Keyword(s):

Dynamic Analysis

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper)

Cost versus precision for approximate typing for Python

Detecting code clones with gaps by function applications

Functional parallels of sequential imperatives (short paper)

Lightweight soundness for towers of language extensions

A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction

Language-integrated query with ordering, grouping and outer joins (poster paper)

Verification of code generators via higher-order model checking

Predicting resource consumption of higher-order workflows

PEG parsing in less space using progressive tabling and dynamic analysis

Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2017
Latest Publications