default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPEPM 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
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.
last updated on 2025-01-31 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
