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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897917200

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Semantic models and abstract interpretation techniques for inductive data structures and pointers

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

10.1145/215465.215594 ◽

1995 ◽

Cited By ~ 13

Author(s):

Alain Deutsch

Keyword(s):

Data Structures ◽

Abstract Interpretation ◽

Semantic Models

Download Full-text

Self-applicable online partial evaluation of the pure lambda calculus

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

10.1145/215465.215469 ◽

1995 ◽

Cited By ~ 12

Author(s):

Torben Æ. Mogensen

Keyword(s):

Partial Evaluation ◽

Lambda Calculus

Download Full-text

Action transformation by partial evaluation

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

10.1145/215465.215595 ◽

1995 ◽

Cited By ~ 1

Author(s):

Kyung-Goo Doh

Keyword(s):

Partial Evaluation

Download Full-text

Polyvariant constructor specialisation

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

10.1145/215465.215554 ◽

1995 ◽

Cited By ~ 9

Author(s):

Dirk Dussart ◽

Eddy Bevers ◽

Karel De Vlaminck

Download Full-text

Polyvariant specialisation for higher-order, block-structured languages

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

10.1145/215465.215558 ◽

1995 ◽

Cited By ~ 4

Author(s):

Karoline Malmkjær ◽

Peter Ørbæk

Keyword(s):

Higher Order ◽

Block Structured

Download Full-text

Analyzing the communication topology of concurrent programs

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

10.1145/215465.215592 ◽

1995 ◽

Cited By ~ 16

Author(s):

Christopher Colby

Keyword(s):

Concurrent Programs ◽

Communication Topology

Download Full-text

Shape analysis as a generalized path problem

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

10.1145/215465.215466 ◽

1995 ◽

Cited By ~ 26

Author(s):

Thomas Reps

Keyword(s):

Shape Analysis

Download Full-text

The replacement operation for CLP modules

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

10.1145/215465.215583 ◽

1995 ◽

Cited By ~ 2

Author(s):

Sandro Etalle ◽

Maurizio Gabbrielli

Keyword(s):

Replacement Operation

Download Full-text

Higher-order expression procedures

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

10.1145/215465.215587 ◽

1995 ◽

Cited By ~ 2

Author(s):

David Sands

Keyword(s):

Higher Order

Download Full-text

Caching intermediate results for program improvement

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

10.1145/215465.215590 ◽

1995 ◽

Cited By ~ 8

Author(s):

Yanhong A. Liu ◽

Tim Teitelbaum

Keyword(s):

Program Improvement ◽

Intermediate Results

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Semantic models and abstract interpretation techniques for inductive data structures and pointers

Self-applicable online partial evaluation of the pure lambda calculus

Action transformation by partial evaluation

Polyvariant constructor specialisation

Polyvariant specialisation for higher-order, block-structured languages

Analyzing the communication topology of concurrent programs

Shape analysis as a generalized path problem

The replacement operation for CLP modules

Higher-order expression procedures

Caching intermediate results for program improvement

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