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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1595931961

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Ecce and Logen partial evaluators and their web interfaces

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

10.1145/1111542.1111557 ◽

2006 ◽

Cited By ~ 5

Author(s):

Michael Leuschel ◽

Dan Elphick ◽

Mauricio Varea ◽

Stephen-John Craig ◽

Marc Fontaine

Keyword(s):

Web Interfaces

Download Full-text

Using program specialization to speed SystemC fixed-point simulation

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

10.1145/1111542.1111547 ◽

2006 ◽

Author(s):

Stephen A. Edwards

Keyword(s):

Fixed Point ◽

Program Specialization

Download Full-text

Continuous code-quality assurance with SAFE

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

10.1145/1111542.1111567 ◽

2006 ◽

Cited By ~ 2

Author(s):

Emmanuel Geay ◽

Eran Yahav ◽

Stephen Fink

Keyword(s):

Quality Assurance ◽

Code Quality

Download Full-text

Source transformation, analysis and generation in TXL

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

10.1145/1111542.1111544 ◽

2006 ◽

Cited By ~ 10

Author(s):

James R. Cordy

Keyword(s):

Source Transformation

Download Full-text

Resource usage analysis for a functional language with exceptions

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

10.1145/1111542.1111550 ◽

2006 ◽

Cited By ~ 5

Author(s):

Futoshi Iwama ◽

Atsushi Igarashi ◽

Naoki Kobayashi

Keyword(s):

Functional Language ◽

Resource Usage ◽

Usage Analysis

Download Full-text

A disciplined approach to aspect composition

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

10.1145/1111542.1111554 ◽

2006 ◽

Cited By ~ 30

Author(s):

Roberto Lopez-Herrejon ◽

Don Batory ◽

Christian Lengauer

Download Full-text

Bit-level partial evaluation of synchronous circuits

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

10.1145/1111542.1111548 ◽

2006 ◽

Author(s):

Sarah Thompson ◽

Alan Mycroft

Keyword(s):

Partial Evaluation ◽

Synchronous Circuits

Download Full-text

Type-directed weaving of aspects for higher-order functional languages

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

10.1145/1111542.1111555 ◽

2006 ◽

Cited By ~ 4

Author(s):

Meng Wang ◽

Kung Chen ◽

Siau-Cheng Khoo

Keyword(s):

Higher Order ◽

Functional Languages

Download Full-text

Generic programming in Fortran

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

10.1145/1111542.1111564 ◽

2006 ◽

Cited By ~ 1

Author(s):

Martin Erwig ◽

Zhe Fu ◽

Ben Pflaum

Keyword(s):

Generic Programming

Download Full-text

Program transformation by solving recurrences

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

10.1145/1111542.1111563 ◽

2006 ◽

Cited By ~ 3

Author(s):

Beatrice Luca ◽

Stefan Andrei ◽

Hugh Anderson ◽

Siau-Cheng Khoo

Keyword(s):

Program Transformation

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

The Ecce and Logen partial evaluators and their web interfaces

Using program specialization to speed SystemC fixed-point simulation

Continuous code-quality assurance with SAFE

Source transformation, analysis and generation in TXL

Resource usage analysis for a functional language with exceptions

A disciplined approach to aspect composition

Bit-level partial evaluation of synchronous circuits

Type-directed weaving of aspects for higher-order functional languages

Generic programming in Fortran

Program transformation by solving recurrences

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