Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581132018

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program analysis with partial transfer functions

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328703 ◽

1999 ◽

Cited By ~ 2

Author(s):

Brian R. Murphy ◽

Monica S. Lam

Keyword(s):

Program Analysis ◽

Transfer Functions ◽

Partial Transfer

Download Full-text

Using regular approximations for generalisation during partial evalution

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328698 ◽

1999 ◽

Cited By ~ 4

Author(s):

John P. Gallagher ◽

Julio C. Peralta

Download Full-text

Symbolic pointer analysis for detecting memory leaks

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328704 ◽

1999 ◽

Cited By ~ 4

Author(s):

Berhard Scholz ◽

Johann Blieberger ◽

Thomas Fahringer

Keyword(s):

Pointer Analysis

Download Full-text

Operating systems specialization (invited talk) (abstract only)

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328701 ◽

1999 ◽

Author(s):

Jonathan Walpole

Keyword(s):

Operating Systems

Download Full-text

A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract)

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328697 ◽

1999 ◽

Cited By ~ 13

Author(s):

Walid Taha

Keyword(s):

Sound Reduction

Download Full-text

Online-and-offline partial evaluation (extended abstract)

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328694 ◽

1999 ◽

Cited By ~ 1

Author(s):

Eijiro Sumii ◽

Naoki Kobayashi

Keyword(s):

Partial Evaluation

Download Full-text

The second Futamura projection for type-directed partial evaluation

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328695 ◽

1999 ◽

Author(s):

Bernd Grobauer ◽

Zhe Yang

Keyword(s):

Partial Evaluation

Download Full-text

From recursion to iteration

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328700 ◽

1999 ◽

Cited By ~ 13

Author(s):

Yanhong A. Liu ◽

Scott D. Stoller

Download Full-text

Non pair-sharing and freeness analysis through linear refinement

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328699 ◽

1999 ◽

Author(s):

Giorgio Levi ◽

Fausto Spoto

Download Full-text

Calculating sized types

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00 ◽

10.1145/328690.328893 ◽

1999 ◽

Cited By ~ 11

Author(s):

Wei-Ngan Chin ◽

Siau-Cheng Khoo

Download Full-text

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Program analysis with partial transfer functions

Using regular approximations for generalisation during partial evalution

Symbolic pointer analysis for detecting memory leaks

Operating systems specialization (invited talk) (abstract only)

A sound reduction semantics for untyped CBN mutli-stage computation. Or, the theory of MetaML is non-trival (extended abstract)

Online-and-offline partial evaluation (extended abstract)

The second Futamura projection for type-directed partial evaluation

From recursion to iteration

Non pair-sharing and freeness analysis through linear refinement

Calculating sized types

Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation - PEPM '00
Latest Publications