ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
Latest Publications
TOTAL DOCUMENTS
6
(FIVE YEARS 6)
H-INDEX
0
(FIVE YEARS 0)
Published By ACM
9781450383059
Latest Documents
Most Cited Documents
Contributed Authors
Related Sources
Related Keywords
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
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
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
Load More ...
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close