Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450311182

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Polynomial-time inverse computation for accumulative functions with multiple data traversals

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 ◽

10.1145/2103746.2103752 ◽

2012 ◽

Cited By ~ 5

Author(s):

Kazutaka Matsuda ◽

Kazuhiro Inaba ◽

Keisuke Nakano

Keyword(s):

Polynomial Time ◽

Multiple Data

Download Full-text

Translating flowcharts to non-deterministic languages

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 ◽

10.1145/2103746.2103775 ◽

2012 ◽

Author(s):

Surinder Kumar Jain ◽

Chenyi Zhang ◽

Bernhard Scholz

Download Full-text

Distillation with labelled transition systems

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 ◽

10.1145/2103746.2103753 ◽

2012 ◽

Cited By ~ 7

Author(s):

Geoffrey William Hamilton ◽

Neil D. Jones

Keyword(s):

Transition Systems ◽

Labelled Transition Systems

Download Full-text

Finding and fixing Java naming bugs with the lancelot eclipse plugin

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 ◽

10.1145/2103746.2103756 ◽

2012 ◽

Cited By ~ 3

Author(s):

Edvard K. Karlsen ◽

Einar W. Høst ◽

Bjarte M. Østvold

Download Full-text

Towards typing for small-step direct reflection

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 ◽

10.1145/2103746.2103765 ◽

2012 ◽

Author(s):

Jacques Carette ◽

Aaron Stump

Keyword(s):

Small Step ◽

Direct Reflection

Download Full-text

Compiling math to fast code

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 ◽

10.1145/2103746.2103748 ◽

2012 ◽

Author(s):

Markus Püschel

Download Full-text

Scala-virtualized

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 ◽

10.1145/2103746.2103769 ◽

2012 ◽

Cited By ~ 18

Author(s):

Adriaan Moors ◽

Tiark Rompf ◽

Philipp Haller ◽

Martin Odersky

Download Full-text

Ideas for connecting inductive program synthesis and bidirectionalization

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 ◽

10.1145/2103746.2103757 ◽

2012 ◽

Author(s):

Janis Voigtländer

Keyword(s):

Program Synthesis

Download Full-text

Specification and verification of meta-programs

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 ◽

10.1145/2103746.2103750 ◽

2012 ◽

Author(s):

Martin Berger

Keyword(s):

Specification And Verification

Download Full-text

The interaction of contracts and laziness

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12 ◽

10.1145/2103746.2103766 ◽

2012 ◽

Cited By ~ 6

Author(s):

Markus Degen ◽

Peter Thiemann ◽

Stefan Wehr

Download Full-text

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Polynomial-time inverse computation for accumulative functions with multiple data traversals

Translating flowcharts to non-deterministic languages

Distillation with labelled transition systems

Finding and fixing Java naming bugs with the lancelot eclipse plugin

Towards typing for small-step direct reflection

Compiling math to fast code

Scala-virtualized

Ideas for connecting inductive program synthesis and bidirectionalization

Specification and verification of meta-programs

The interaction of contracts and laziness

Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12
Latest Publications