Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450304856

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Ordering multiple continuations on the stack

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929504 ◽

2011 ◽

Cited By ~ 2

Author(s):

Dimitrios Vardoulakis ◽

Olin Shivers

Download Full-text

A program transformation for returning states in functional-logic programs

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929523 ◽

2011 ◽

Author(s):

Rafael Caballero

Keyword(s):

Program Transformation ◽

Logic Programs ◽

Functional Logic

Download Full-text

Type classes in functional logic programming

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929524 ◽

2011 ◽

Cited By ~ 3

Author(s):

Enrique Martin-Martin

Keyword(s):

Logic Programming ◽

Type Classes ◽

Functional Logic Programming ◽

Functional Logic

Download Full-text

Probabilistic accuracy bounds for perforated programs

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929517 ◽

2011 ◽

Cited By ~ 5

Author(s):

Martin Rinard

Download Full-text

A walk in the semantic park

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929503 ◽

2011 ◽

Cited By ~ 7

Author(s):

Olivier Danvy ◽

Jacob Johannsen ◽

Ian Zerny

Download Full-text

An embedded language for programming protocol stacks in embedded systems

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929511 ◽

2011 ◽

Cited By ~ 5

Author(s):

Yan Wang ◽

Verónica Gaspes

Keyword(s):

Embedded Systems

Download Full-text

Adaptation-based programming in java

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929518 ◽

2011 ◽

Cited By ~ 8

Author(s):

Tim Bauer ◽

Martin Erwig ◽

Alan Fern ◽

Jervis Pinto

Download Full-text

iTasks for a change

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929528 ◽

2011 ◽

Cited By ~ 8

Author(s):

Rinus Plasmeijer ◽

Peter Achten ◽

Pieter Koopman ◽

Bas Lijnse ◽

Thomas van Noort ◽

...

Download Full-text

A semantics for lazy assertions

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929527 ◽

2011 ◽

Cited By ~ 5

Author(s):

Olaf Chitil

Download Full-text

Taming code explosion in supercompilation

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11 ◽

10.1145/1929501.1929507 ◽

2011 ◽

Cited By ~ 2

Author(s):

Peter A. Jonsson ◽

Johan Nordlander

Download Full-text

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Ordering multiple continuations on the stack

A program transformation for returning states in functional-logic programs

Type classes in functional logic programming

Probabilistic accuracy bounds for perforated programs

A walk in the semantic park

An embedded language for programming protocol stacks in embedded systems

Adaptation-based programming in java

iTasks for a change

A semantics for lazy assertions

Taming code explosion in supercompilation

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation - PERM '11
Latest Publications