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

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By ACM Press

9781450318426

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers

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

10.1145/2426890.2426911 ◽

2013 ◽

Author(s):

Álvaro García-Pérez ◽

Pablo Nogueira

Download Full-text

Verified integrity properties for safe approximate program transformations

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

10.1145/2426890.2426901 ◽

2013 ◽

Author(s):

Michael Carbin ◽

Deokhwan Kim ◽

Sasa Misailovic ◽

Martin C. Rinard

Keyword(s):

Program Transformations

Download Full-text

TRSynth

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

10.1145/2426890.2426903 ◽

2013 ◽

Author(s):

Marco Comini ◽

Luca Torella

Download Full-text

Practical aspects of bidirectional graph transformations

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

10.1145/2426890.2426892 ◽

2013 ◽

Author(s):

Zhenjiang Hu

Keyword(s):

Graph Transformations

Download Full-text

Constraint-based locality analysis for X10 programs

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

10.1145/2426890.2426915 ◽

2013 ◽

Author(s):

Qiang Sun ◽

Yuting Chen ◽

Jianjun Zhao

Download Full-text

A meta-circular language for active libraries

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

10.1145/2426890.2426913 ◽

2013 ◽

Author(s):

Marco Servetto ◽

Elena Zucca

Keyword(s):

Active Libraries

Download Full-text

Precise explanation of success typing errors

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

10.1145/2426890.2426897 ◽

2013 ◽

Author(s):

Konstantinos Sagonas ◽

Josep Silva ◽

Salvador Tamarit

Download Full-text

Typing as functional-logic evaluation

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

10.1145/2426890.2426896 ◽

2013 ◽

Author(s):

Francisco J. López-Fraguas ◽

Enrique Martin-Martin

Keyword(s):

Functional Logic

Download Full-text

Abstract syntax graphs for domain specific languages

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

10.1145/2426890.2426909 ◽

2013 ◽

Author(s):

Bruno C. d. S. Oliveira ◽

Andres Löh

Keyword(s):

Abstract Syntax ◽

Domain Specific Languages ◽

Domain Specific

Download Full-text

Deriving a complete type inference for hindley-milner and vector sizes using expansion

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

10.1145/2426890.2426895 ◽

2013 ◽

Author(s):

Axel Simon

Keyword(s):

Type Inference ◽

Download Full-text