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

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By ACM Press

1581136676

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstract specialization and its applications

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

10.1145/777388.777393 ◽

2003 ◽

Author(s):

Germán Puebla ◽

Manuel Hermenegildo

Download Full-text

Fast partial evaluation of pattern matching in strings

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

10.1145/777388.777390 ◽

2003 ◽

Author(s):

Mads Sig Ager ◽

Olivier Danvy ◽

Henning Korsholm Rohde

Keyword(s):

Pattern Matching ◽

Partial Evaluation

Download Full-text

Slicing java programs that throw and catch exceptions

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

10.1145/777388.777394 ◽

2003 ◽

Author(s):

Matthew Allen ◽

Susan Horwitz

Keyword(s):

Download Full-text

Transforming interpreters into inverse interpreters by partial evaluation

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

10.1145/777388.777391 ◽

2003 ◽

Author(s):

Robert Glück ◽

Youhei Kawada ◽

Takuya Hashimoto

Keyword(s):

Partial Evaluation

Download Full-text

Implementing typeful program transformations

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

10.1145/777388.777392 ◽

2003 ◽

Author(s):

Chiyan Chen ◽

Hongwei Xi

Keyword(s):

Program Transformations

Download Full-text

CodeBricks

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

10.1145/777388.777396 ◽

2003 ◽

Author(s):

Giuseppe Attardi ◽

Antonio Cisternino ◽

Andrew Kennedy

Download Full-text

Extending sized type with collection analysis

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

10.1145/777388.777397 ◽

2003 ◽

Author(s):

Wei-Ngan Chin ◽

Siau-Cheng Khoo ◽

Dana N. Xu

Download Full-text

Optimizing Ackermann's function by incrementalization

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

10.1145/777388.777398 ◽

2003 ◽

Author(s):

Yanhong A. Liu ◽

Scott D. Stoller

Download Full-text

Storeless semantics and alias logic

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

10.1145/777388.777395 ◽

2003 ◽

Author(s):

Marius Bozga ◽

Radu Iosif ◽

Yassine Laknech

Download Full-text

Slicing and partial evaluation of CORBA component model designs for avionics system

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

10.1145/777388.777389 ◽

2003 ◽

Author(s):

John Hatcliff ◽

William Deng ◽

Matthew B. Dwyer ◽

Georg Jung ◽

Venkatesh Ranganath ◽

...

Keyword(s):

Partial Evaluation ◽

Component Model

Download Full-text