![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
PEPM 2015: Mumbai, India
- Kenichi Asai, Kostis Sagonas:
Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015. ACM 2015, ISBN 978-1-4503-3297-2
Keynote Address
- Shriram Krishnamurthi
:
Desugaring in Practice: Opportunities and Challenges. 1-2
Types
- Casper Bach Poulsen
, Peter D. Mosses
, Paolo Torrini:
Imperative Polymorphism by Store-Based Types as Abstract Interpretations. 3-8 - Henk Erik Van der Hoek, Jurriaan Hage:
Object-sensitive Type Analysis of PHP. 9-20
Code Mining
- Venkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori:
Structurally Heterogeneous Source Code Examples from Unstructured Knowledge Sources. 21-26
Trees and Grammars
- Patrick Bahr
, Emil Axelsson:
Generalising Tree Traversals to DAGs: Exploiting Sharing without the Pain. 27-38 - Jeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra:
Incremental Evaluation of Higher Order Attributes. 39-48 - L. Thomas van Binsbergen
, Jeroen Bransen, Atze Dijkstra:
Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency Selection. 49-60
Verification
- Kazuyuki Asada, Ryosuke Sato
, Naoki Kobayashi
:
Verifying Relational Properties of Functional Programs by First-Order Refinement. 61-72 - Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo
:
Threads as Resource for Concurrency Verification. 73-84 - Bishoksan Kafle, John P. Gallagher
:
Constraint Specialisation in Horn Clause Verification. 85-90
Transformation
- Jun Li, Chenglong Wang, Yingfei Xiong
, Zhenjiang Hu:
SWIN: Towards Type-Safe Java Program Adaptation between APIs. 91-102
Slicing
- Huiqing Li, Simon J. Thompson:
Safe Concurrency Introduction through Slicing. 103-113 - Björn Lisper, Abu Naser Masud
, Husni Khanfar:
Static Backward Demand-Driven Slicing. 115-126
Analysis
- Ruud Koot
, Jurriaan Hage:
Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception Semantics. 127-138 - Hidde Verstoep, Jurriaan Hage:
Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief Announcement. 139-142
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.