Kenichi Asai, Kostis Sagonas
Proceedings of the 20th Workshop on Partial Evaluation and Program Manipulation
PEPM, 2015.

@proceedings{PEPM-2015,
	acmid         = "2678015",
	address       = "Mumbai, India",
	editor        = "Kenichi Asai and Kostis Sagonas",
	isbn          = "978-1-4503-3297-2",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 20th Workshop on Partial Evaluation and Program Manipulation}",
	year          = 2015,
}

Event page: http://conf.researchr.org/home/pepm2015

Contents (15 items)

3 ×#analysis
3 ×#functional
3 ×#higher-order
3 ×#verification
2 ×#concurrent
2 ×#slicing
2 ×#source code
2 ×#strict

PEPM-2015-Krishnamurthi #challenge

Desugaring in Practice: Opportunities and Challenges (SK), pp. 1–2.

PEPM-2015-PoulsenMT #abstract interpretation #imperative #morphism #polymorphism

Imperative Polymorphism by Store-Based Types as Abstract Interpretations (CBP, PDM, PT), pp. 3–8.

PEPM-2015-HoekH #analysis #php

Object-sensitive Type Analysis of PHP (HEVdH, JH), pp. 9–20.

PEPM-2015-VinayakaraoPN #source code

Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources (VV, RP, AVN), pp. 21–26.

PEPM-2015-BahrA #graph #traversal

Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain (PB, EA), pp. 27–38.

PEPM-2015-BransenDS #evaluation #higher-order #incremental

Incremental Evaluation of Higher Order Attributes (JB, AD, SDS), pp. 39–48.

PEPM-2015-BinsbergenBD #attribute grammar #automation #dependence #order

Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection (LTvB, JB, AD), pp. 49–60.

PEPM-2015-AsadaS0 #first-order #functional #refinement #relational #source code #verification

Verifying Relational Properties of Functional Programs by First-Order Refinement (KA, RS, NK), pp. 61–72.

PEPM-2015-LeCT #concurrent #thread #verification

Threads as Resource for Concurrency Verification (DKL, WNC, YMT), pp. 73–84.

PEPM-2015-KafleG #constraints #horn clause #verification

Constraint Specialisation in Horn Clause Verification (BK, JPG), pp. 85–90.

PEPM-2015-LiWXH #adaptation #api #java #named #towards #type safety

SWIN: Towards Type-Safe Java Program Adaptation between APIs (JL, CW, YX, ZH), pp. 91–102.

PEPM-2015-LiT #concurrent #slicing

Safe Concurrency Introduction through Slicing (HL, SJT), pp. 103–113.

PEPM-2015-LisperMK #slicing

Static Backward Demand-Driven Slicing (BL, ANM, HK), pp. 115–126.

PEPM-2015-KootH #analysis #exception #functional #higher-order #semantics #strict #type system

Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics (RK, JH), pp. 127–138.

PEPM-2015-VerstoepH #analysis #functional #higher-order #strict

Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement (HV, JH), pp. 139–142.