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

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By ACM Press

9781450311182

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Author(s):

Geoffrey William Hamilton ◽

Neil D. Jones

Keyword(s):

Transition Systems ◽

Labelled Transition Systems

Download Full-text

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 ◽

Author(s):

Kazutaka Matsuda ◽

Kazuhiro Inaba ◽

Keisuke Nakano

Keyword(s):

Polynomial Time ◽

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 ◽

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):

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

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 ◽

Author(s):

Markus Degen ◽

Peter Thiemann ◽

Stefan Wehr

Download Full-text

Streams that compose using macros that oblige

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

10.1145/2103746.2103772 ◽

2012 ◽

Author(s):

Martin Hirzel ◽

Bugra Gedik

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 ◽

Author(s):

Adriaan Moors ◽

Tiark Rompf ◽

Philipp Haller ◽

Martin Odersky

Download Full-text