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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897915941

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Improving abstract interpretations by combining domains

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

10.1145/154630.154650 ◽

1993 ◽

Cited By ~ 15

Author(s):

M. Codish ◽

A. Mulkers ◽

M. Bruynooghe ◽

M. García de la Banda ◽

M. Hermenegildo

Tutorial on specialisation of logic programs

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

10.1145/154630.154640 ◽

1993 ◽

Cited By ~ 72

Author(s):

J. P. Gallagher

Keyword(s):

Logic Programs

A partial evaluator for data flow graphs

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

10.1145/154630.154651 ◽

1993 ◽

Author(s):

Jesper Vasell

Keyword(s):

Data Flow ◽

Data Flow Graphs ◽

Flow Graphs

The correctness of an optimized code generation

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

10.1145/154630.154647 ◽

1993 ◽

Author(s):

Torben Poort Lange

Keyword(s):

Code Generation ◽

Optimized Code

Towards efficient partial evaluation

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

10.1145/154630.154634 ◽

1993 ◽

Cited By ~ 1

Author(s):

Karoline Malmkjær

Keyword(s):

Partial Evaluation

A tour of Schism

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

10.1145/154630.154645 ◽

1993 ◽

Cited By ~ 38

Author(s):

Charles Consel

Towards an automated tupling strategy

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

10.1145/154630.154643 ◽

1993 ◽

Cited By ~ 33

Author(s):

Wei-Ngan Chin

Groundness analysis for Prolog

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

10.1145/154630.154641 ◽

1993 ◽

Cited By ~ 13

Author(s):

Baudouin Le Charlier ◽

Pascal van Hentenryck

Higher-order binding-time analysis

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

10.1145/154630.154639 ◽

1993 ◽

Cited By ~ 5

Author(s):

Kei Davis

Keyword(s):

Higher Order ◽

Time Analysis ◽

Binding Time ◽

Binding Time Analysis

Completeness and predicate-based abstract interpretation

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

10.1145/154630.154648 ◽

1993 ◽

Cited By ~ 14

Author(s):

Alan Mycroft

Keyword(s):

Abstract Interpretation

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Improving abstract interpretations by combining domains

Tutorial on specialisation of logic programs

A partial evaluator for data flow graphs

The correctness of an optimized code generation

Towards efficient partial evaluation

A tour of Schism

Towards an automated tupling strategy

Groundness analysis for Prolog

Higher-order binding-time analysis

Completeness and predicate-based abstract interpretation

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