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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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