Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM

9781450383059

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A type-safe structure editor calculus

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ◽

10.1145/3441296.3441393 ◽

2020 ◽

Author(s):

Christian Godiksen ◽

Thomas Herrmann ◽

Hans Hüttel ◽

Mikkel Korup Lauridsen ◽

Iman Owliaie

Keyword(s):

Structure Editor

Download Full-text

A text-based syntax completion method using LR parsing

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ◽

10.1145/3441296.3441395 ◽

2020 ◽

Author(s):

Isao Sasano ◽

Kwanghoon Choi

Keyword(s):

Lr Parsing

Download Full-text

Strictly capturing non-strict closures

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ◽

10.1145/3441296.3441398 ◽

2020 ◽

Author(s):

Zachary J. Sullivan ◽

Paul Downen ◽

Zena M. Ariola

Download Full-text

Counterexample generation for program verification based on ownership refinement types

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ◽

10.1145/3441296.3441396 ◽

2020 ◽

Author(s):

Hideto Ueno ◽

John Toman ◽

Naoki Kobayashi ◽

Takeshi Tsukada

Keyword(s):

Program Verification ◽

Refinement Types

Download Full-text

Coq to C translation with partial evaluation

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ◽

10.1145/3441296.3441394 ◽

2020 ◽

Author(s):

Akira Tanaka

Keyword(s):

Partial Evaluation

Download Full-text

Efficient fair conjunction for structurally-recursive relations

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ◽

10.1145/3441296.3441397 ◽

2020 ◽

Author(s):

Peter Lozov ◽

Dmitry Boulytchev

Keyword(s):

Recursive Relations

Download Full-text

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program ManipulationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

A type-safe structure editor calculus

A text-based syntax completion method using LR parsing

Strictly capturing non-strict closures

Counterexample generation for program verification based on ownership refinement types

Coq to C translation with partial evaluation

Efficient fair conjunction for structurally-recursive relations

Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Latest Publications