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

Full Citation in the ACM Digital Library

SESSION: Keynote Address

Desugaring in Practice: Opportunities and Challenges


Imperative Polymorphism by Store-Based Types as Abstract Interpretations

Object-sensitive Type Analysis of PHP

SESSION: Code Mining

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources

SESSION: Trees and Grammars

Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain

Incremental Evaluation of Higher Order Attributes

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection

SESSION: Verification

Verifying Relational Properties of Functional Programs by First-Order Refinement

Threads as Resource for Concurrency Verification

Constraint Specialisation in Horn Clause Verification

SESSION: Transformation

SWIN: Towards Type-Safe Java Program Adaptation between APIs

SESSION: Slicing

Safe Concurrency Introduction through Slicing

Static Backward Demand-Driven Slicing

SESSION: Analysis

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

Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement