Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By ACM Press

9781450332972

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 ◽

10.1145/2678015.2682542 ◽

2015 ◽

Author(s):

Ruud Koot ◽

Jurriaan Hage

Keyword(s):

Higher Order ◽

Functional Languages

Download Full-text

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 ◽

10.1145/2678015.2682537 ◽

2015 ◽

Author(s):

Venkatesh Vinayakarao ◽

Rahul Purandare ◽

Aditya V. Nori

Keyword(s):

Source Code ◽

Knowledge Sources ◽

Heterogeneous Source

Download Full-text

Generalising Tree Traversals to DAGs

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 ◽

10.1145/2678015.2682539 ◽

2015 ◽

Author(s):

Patrick Bahr ◽

Emil Axelsson

Keyword(s):

Tree Traversals

Download Full-text

Static Backward Demand-Driven Slicing

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 ◽

10.1145/2678015.2682538 ◽

2015 ◽

Author(s):

Björn Lisper ◽

Abu Naser Masud ◽

Husni Khanfar

Download Full-text

Object-sensitive Type Analysis of PHP

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 ◽

10.1145/2678015.2682535 ◽

2015 ◽

Author(s):

Henk Erik Van der Hoek ◽

Jurriaan Hage

Keyword(s):

Download Full-text

SWIN

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 ◽

10.1145/2678015.2682534 ◽

2015 ◽

Author(s):

Jun Li ◽

Chenglong Wang ◽

Yingfei Xiong ◽

Zhenjiang Hu

Download Full-text

Linearly Ordered Attribute Grammars

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 ◽

10.1145/2678015.2682543 ◽

2015 ◽

Author(s):

L. Thomas van Binsbergen ◽

Jeroen Bransen ◽

Atze Dijkstra

Keyword(s):

Attribute Grammars

Download Full-text

Threads as Resource for Concurrency Verification

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 ◽

10.1145/2678015.2682540 ◽

2015 ◽

Author(s):

Duy-Khanh Le ◽

Wei-Ngan Chin ◽

Yong Meng Teo

Download Full-text

Constraint Specialisation in Horn Clause Verification

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 ◽

10.1145/2678015.2682544 ◽

2015 ◽

Author(s):

Bishoksan Kafle ◽

John P. Gallagher

Keyword(s):

Download Full-text

Incremental Evaluation of Higher Order Attributes

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation - PEPM '15 ◽

10.1145/2678015.2682541 ◽

2015 ◽

Author(s):

Jeroen Bransen ◽

Atze Dijkstra ◽

S. Doaitse Swierstra

Keyword(s):

Higher Order ◽

Incremental Evaluation

Download Full-text