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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

1581138350

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Efficient and flexible access control via logic program specialisation

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

10.1145/1014007.1014026 ◽

2004 ◽

Cited By ~ 4

Author(s):

Steve Barker ◽

Michael Leuschel ◽

Mauricio Varea

Keyword(s):

Access Control ◽

Logic Program ◽

Program Specialisation

Download Full-text

Invited application paper

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

10.1145/1014007.1014014 ◽

2004 ◽

Cited By ~ 2

Author(s):

Gary Daugherty

Keyword(s):

Application Paper

Download Full-text

Proving termination of membership equational programs

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

10.1145/1014007.1014022 ◽

2004 ◽

Cited By ~ 13

Author(s):

Francisco Durán ◽

Salvador Lucas ◽

Josß Meseguer ◽

Claude Marché ◽

Xavier Urbain

Download Full-text

Offline partial evaluation for shift and reset

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

10.1145/1014007.1014009 ◽

2004 ◽

Cited By ~ 4

Author(s):

Kenichi Asai

Keyword(s):

Partial Evaluation

Download Full-text

Invited talk

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

10.1145/1014007.1014027 ◽

2004 ◽

Author(s):

Ehud Shapiro

Download Full-text

Fusion with stacks and accumulating parameters

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

10.1145/1014007.1014018 ◽

2004 ◽

Cited By ~ 5

Author(s):

Susumu Nishimura

Download Full-text

Declarative specialization for object-oriented-program specialization

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

10.1145/1014007.1014011 ◽

2004 ◽

Cited By ~ 2

Author(s):

Helle Markmann Andersen ◽

Ulrik Pagh Schultz

Keyword(s):

Object Oriented ◽

Program Specialization

Download Full-text

A programmable editor for developing structured documents based on bidirectional transformations

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

10.1145/1014007.1014025 ◽

2004 ◽

Cited By ~ 35

Author(s):

Zhenjiang Hu ◽

Shin-Cheng Mu ◽

Masato Takeichi

Keyword(s):

Structured Documents

Download Full-text

Imperative program optimization by partial evaluation

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

10.1145/1014007.1014019 ◽

2004 ◽

Cited By ~ 5

Author(s):

Søren Debois

Keyword(s):

Partial Evaluation ◽

Program Optimization

Download Full-text

Program transformations for portable CPU accounting and control in Java

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

10.1145/1014007.1014024 ◽

2004 ◽

Cited By ~ 17

Author(s):

Jarle Hulaas ◽

Walter Binder

Keyword(s):

Program Transformations ◽

And Control

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Efficient and flexible access control via logic program specialisation

Invited application paper

Proving termination of membership equational programs

Offline partial evaluation for shift and reset

Invited talk

Fusion with stacks and accumulating parameters

Declarative specialization for object-oriented-program specialization

A programmable editor for developing structured documents based on bidirectional transformations

Imperative program optimization by partial evaluation

Program transformations for portable CPU accounting and control in Java

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