Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897919173

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Self-applicable partial evaluation for the pi-calculus

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259000 ◽

1997 ◽

Cited By ~ 4

Author(s):

Marc Gengler ◽

Matthieu Martel

Keyword(s):

Partial Evaluation ◽

Pi Calculus

Download Full-text

Specialization of lazy functional logic programs

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259015 ◽

1997 ◽

Cited By ~ 12

Author(s):

M. Alpuente ◽

M. Falaschi ◽

P. Julián ◽

G. Vidal

Keyword(s):

Logic Programs ◽

Functional Logic

Download Full-text

Scaling up partial evaluation for optimizing the Sun commercial RPC protocol

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259010 ◽

1997 ◽

Cited By ~ 8

Author(s):

Gilles Muller ◽

Eugen-Nicolae Volanschi ◽

Renaud Marlet

Keyword(s):

Partial Evaluation ◽

Scaling Up ◽

The Sun

Download Full-text

Resource-bounded partial evaluation

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259017 ◽

1997 ◽

Cited By ~ 5

Author(s):

Saumya Debray

Keyword(s):

Partial Evaluation

Download Full-text

Prescriptive frameworks for multi-level lambda-calculi

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259018 ◽

1997 ◽

Cited By ~ 3

Author(s):

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Multi Level

Download Full-text

Lambda-dropping

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259007 ◽

1997 ◽

Cited By ~ 5

Author(s):

Olivier Danvy ◽

Ulrik P. Schultz

Download Full-text

Partial-evaluation techniques for concurrent programs

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259002 ◽

1997 ◽

Cited By ~ 6

Author(s):

Mihnea Marinescu ◽

Benjamin Goldberg

Keyword(s):

Partial Evaluation ◽

Concurrent Programs ◽

Evaluation Techniques

Download Full-text

A transformation system for CLP with dynamic scheduling and CCP

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259014 ◽

1997 ◽

Cited By ~ 4

Author(s):

Sandro Etalle ◽

Maurizio Gabbrielli ◽

Elena Marchiori

Keyword(s):

Dynamic Scheduling ◽

Transformation System

Download Full-text

Partial evaluation in aircraft crew planning

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259012 ◽

1997 ◽

Cited By ~ 4

Author(s):

Lennart Augustsson

Keyword(s):

Partial Evaluation ◽

Crew Planning

Download Full-text

Interconvertbility of set constraints and context-free language reachability

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 ◽

10.1145/258993.259006 ◽

1997 ◽

Cited By ~ 13

Author(s):

David Melski ◽

Thomas Reps

Keyword(s):

Set Constraints ◽

Context Free Language ◽

Context Free ◽

Free Language

Download Full-text

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Self-applicable partial evaluation for the pi-calculus

Specialization of lazy functional logic programs

Scaling up partial evaluation for optimizing the Sun commercial RPC protocol

Resource-bounded partial evaluation

Prescriptive frameworks for multi-level lambda-calculi

Lambda-dropping

Partial-evaluation techniques for concurrent programs

A transformation system for CLP with dynamic scheduling and CCP

Partial evaluation in aircraft crew planning

Interconvertbility of set constraints and context-free language reachability

Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97
Latest Publications