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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 6

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 16

Author(s):

Matthew Allen ◽

Susan Horwitz

Keyword(s):

Java Programs

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 11

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

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Abstract specialization and its applications

Fast partial evaluation of pattern matching in strings

Slicing java programs that throw and catch exceptions

Transforming interpreters into inverse interpreters by partial evaluation

Implementing typeful program transformations

CodeBricks

Extending sized type with collection analysis

Optimizing Ackermann's function by incrementalization

Storeless semantics and alias logic

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
Latest Publications