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

TOTAL DOCUMENTS

9

(FIVE YEARS 9)

H-INDEX

2

(FIVE YEARS 2)

Published By ACM Press

9781450362269

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Futures and promises in Haskell and Scala

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

10.1145/3294032.3294080 ◽

2019 ◽

Author(s):

Tamino Dauth ◽

Martin Sulzmann

Download Full-text

Method name suggestion with hierarchical attention networks

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

10.1145/3294032.3294079 ◽

2019 ◽

Author(s):

Sihan Xu ◽

Sen Zhang ◽

Weijing Wang ◽

Xinya Cao ◽

Chenkai Guo ◽

...

Keyword(s):

Attention Networks

Download Full-text

Reduction from branching-time property verification of higher-order programs to HFL validity checking

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

10.1145/3294032.3294077 ◽

2019 ◽

Author(s):

Keiichi Watanabe ◽

Takeshi Tsukada ◽

Hiroki Oshikawa ◽

Naoki Kobayashi

Keyword(s):

Higher Order ◽

Branching Time ◽

Time Property ◽

Property Verification

Download Full-text

Generating mutually recursive definitions

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

10.1145/3294032.3294078 ◽

2019 ◽

Author(s):

Jeremy Yallop ◽

Oleg Kiselyov

Keyword(s):

Recursive Definitions

Download Full-text

A simpler lambda calculus

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

10.1145/3294032.3294085 ◽

2019 ◽

Author(s):

Barry Jay

Keyword(s):

Lambda Calculus

Download Full-text

Control flow obfuscation via CPS transformation

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

10.1145/3294032.3294083 ◽

2019 ◽

Author(s):

Kenny Zhuo Ming Lu

Keyword(s):

Control Flow ◽

Control Flow Obfuscation

Download Full-text

Combining higher-order model checking with refinement type inference

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

10.1145/3294032.3294081 ◽

2019 ◽

Author(s):

Ryosuke Sato ◽

Naoki Iwayama ◽

Naoki Kobayashi

Keyword(s):

Model Checking ◽

Higher Order ◽

Type Inference ◽

Download Full-text

Extracting a call-by-name partial evaluator from a proof of termination

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

10.1145/3294032.3294084 ◽

2019 ◽

Author(s):

Kenichi Asai

Download Full-text

Typed parsing and unparsing for untyped regular expression engines

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

10.1145/3294032.3294082 ◽

2019 ◽

Author(s):

Gabriel Radanne

Keyword(s):

Regular Expression

Download Full-text