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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897914333

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compiling the polymorphic λ-calculus

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

10.1145/115865.115896 ◽

1991 ◽

Author(s):

Spiro Michaylov ◽

Frank Pfenning

Download Full-text

Optimization of equational programs using partial evaluation

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

10.1145/115865.115874 ◽

1991 ◽

Cited By ~ 1

Author(s):

David Sherman ◽

Robert Strandh ◽

Irène Durand

Keyword(s):

Partial Evaluation

Download Full-text

Inversion and metacomputation

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

10.1145/115865.115868 ◽

1991 ◽

Cited By ~ 6

Author(s):

Alexander Romanenko

Download Full-text

Binding time analysis

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

10.1145/115865.115881 ◽

1991 ◽

Cited By ~ 20

Author(s):

Sebastian Hunt ◽

David Sands

Keyword(s):

Time Analysis ◽

Binding Time ◽

Binding Time Analysis

Download Full-text

Determinacy analysis for full Prolog

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

10.1145/115865.115869 ◽

1991 ◽

Cited By ~ 5

Author(s):

Dan Sahlin

Download Full-text

Techniques for partial evaluation of imperative languages

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

10.1145/115865.115876 ◽

1991 ◽

Cited By ~ 12

Author(s):

Uwe Meyer

Keyword(s):

Partial Evaluation

Download Full-text

Generalized partial computation for a lazy functional language

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

10.1145/115865.115867 ◽

1991 ◽

Cited By ~ 9

Author(s):

Akihiko Takano

Keyword(s):

Functional Language

Download Full-text

Abstract interpretation of logic programs

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

10.1145/115865.115872 ◽

1991 ◽

Cited By ~ 11

Author(s):

Agostino Cortesi ◽

Gilbert Filé

Keyword(s):

Abstract Interpretation ◽

Logic Programs

Download Full-text

M-LISP

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

10.1145/115865.115891 ◽

1991 ◽

Author(s):

Robert Muller

Download Full-text

Reference escape analysis

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

10.1145/115865.115883 ◽

1991 ◽

Cited By ~ 5

Author(s):

Young Gil Park ◽

Benjamin Goldberg

Keyword(s):

Escape Analysis

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Compiling the polymorphic λ-calculus

Optimization of equational programs using partial evaluation

Inversion and metacomputation

Binding time analysis

Determinacy analysis for full Prolog

Techniques for partial evaluation of imperative languages

Generalized partial computation for a lazy functional language

Abstract interpretation of logic programs

M-LISP

Reference escape analysis

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