Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605583273

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

SOC

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 ◽

10.1145/1480945.1480969 ◽

2008 ◽

Cited By ~ 2

Author(s):

Michael Leuschel ◽

Marisa Llorens ◽

Javier Oliver ◽

Josep Silva ◽

Salvador Tamarit

Download Full-text

Program transformation for numerical precision

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 ◽

10.1145/1480945.1480960 ◽

2008 ◽

Cited By ~ 15

Author(s):

Matthieu Martel

Keyword(s):

Program Transformation ◽

Numerical Precision

Download Full-text

Program analysis for bug detection using parfait

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 ◽

10.1145/1480945.1480947 ◽

2008 ◽

Author(s):

Cristina Cifuentes ◽

Nathan Keynes ◽

Lian Li ◽

Bernhard Scholz

Keyword(s):

Program Analysis ◽

Bug Detection

Download Full-text

CProf

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 ◽

10.1145/1480945.1480968 ◽

2008 ◽

Author(s):

Philippe Moret ◽

Walter Binder ◽

Alex Villazon

Download Full-text

Shifting the stage

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 ◽

10.1145/1480945.1480962 ◽

2008 ◽

Cited By ~ 7

Author(s):

Yukiyoshi Kameyama ◽

Oleg Kiselyov ◽

Chung-chieh Shan

Download Full-text

Linear logical approximations

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 ◽

10.1145/1480945.1480949 ◽

2008 ◽

Cited By ~ 3

Author(s):

Robert J. Simmons ◽

Frank Pfenning

Download Full-text

Shortcut fusion rules for the derivation of circular and higher-order monadic programs

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 ◽

10.1145/1480945.1480958 ◽

2008 ◽

Cited By ~ 1

Author(s):

Alberto Pardo ◽

João Paulo Fernandes ◽

João Saraiva

Keyword(s):

Higher Order ◽

Fusion Rules ◽

Shortcut Fusion

Download Full-text

Static consistency checking for verilog wire interconnects

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 ◽

10.1145/1480945.1480963 ◽

2008 ◽

Cited By ~ 1

Author(s):

Cherif Salama ◽

Gregory Malecha ◽

Walid Taha ◽

Jim Grundy ◽

John O'Leary

Keyword(s):

Consistency Checking

Download Full-text

Partially evaluated sensor networks

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 ◽

10.1145/1480945.1480956 ◽

2008 ◽

Author(s):

Leon Evers ◽

Jan Kuper

Keyword(s):

Sensor Networks

Download Full-text

Designing aspects for side-effect localization

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09 ◽

10.1145/1480945.1480973 ◽

2008 ◽

Cited By ~ 1

Author(s):

Kung Chen ◽

Jia-Yin Lin ◽

Shu-Chun Weng ◽

Siau-Cheng Khoo

Keyword(s):

Side Effect

Download Full-text

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

SOC

Program transformation for numerical precision

Program analysis for bug detection using parfait

CProf

Shifting the stage

Linear logical approximations

Shortcut fusion rules for the derivation of circular and higher-order monadic programs

Static consistency checking for verilog wire interconnects

Partially evaluated sensor networks

Designing aspects for side-effect localization

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation - PEPM '09
Latest Publications