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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

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

Cited By ~ 9

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 2

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 ◽

Cited By ~ 2

Author(s):

Henk Erik Van der Hoek ◽

Jurriaan Hage

Keyword(s):

Type Analysis

Download Full-text

SWIN

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

10.1145/2678015.2682534 ◽

2015 ◽

Cited By ~ 6

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 8

Author(s):

Bishoksan Kafle ◽

John P. Gallagher

Keyword(s):

Horn Clause

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 ◽

Cited By ~ 1

Author(s):

Jeroen Bransen ◽

Atze Dijkstra ◽

S. Doaitse Swierstra

Keyword(s):

Higher Order ◽

Incremental Evaluation

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

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

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources

Generalising Tree Traversals to DAGs

Static Backward Demand-Driven Slicing

Object-sensitive Type Analysis of PHP

SWIN

Linearly Ordered Attribute Grammars

Threads as Resource for Concurrency Verification

Constraint Specialisation in Horn Clause Verification

Incremental Evaluation of Higher Order Attributes

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