Abstract is missing.
- Desugaring in Practice: Opportunities and ChallengesShriram Krishnamurthi. 1-2 [doi]
- Imperative Polymorphism by Store-Based Types as Abstract InterpretationsCasper Bach Poulsen, Peter D. Mosses, Paolo Torrini. 3-8 [doi]
- Object-sensitive Type Analysis of PHPHenk Erik Van der Hoek, Jurriaan Hage. 9-20 [doi]
- Structurally Heterogeneous Source Code Examples from Unstructured Knowledge SourcesVenkatesh Vinayakarao, Rahul Purandare, Aditya V. Nori. 21-26 [doi]
- Generalising Tree Traversals to DAGs: Exploiting Sharing without the PainPatrick Bahr, Emil Axelsson. 27-38 [doi]
- Incremental Evaluation of Higher Order AttributesJeroen Bransen, Atze Dijkstra, S. Doaitse Swierstra. 39-48 [doi]
- Linearly Ordered Attribute Grammars: with Automatic Augmenting Dependency SelectionL. Thomas van Binsbergen, Jeroen Bransen, Atze Dijkstra. 49-60 [doi]
- Verifying Relational Properties of Functional Programs by First-Order RefinementKazuyuki Asada, Ryosuke Sato, Naoki Kobayashi 0001. 61-72 [doi]
- Threads as Resource for Concurrency VerificationDuy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo. 73-84 [doi]
- Constraint Specialisation in Horn Clause VerificationBishoksan Kafle, John P. Gallagher. 85-90 [doi]
- SWIN: Towards Type-Safe Java Program Adaptation between APIsJun Li, Chenglong Wang, Yingfei Xiong, Zhenjiang Hu. 91-102 [doi]
- Safe Concurrency Introduction through SlicingHuiqing Li, Simon J. Thompson. 103-113 [doi]
- Static Backward Demand-Driven SlicingBjörn Lisper, Abu Naser Masud, Husni Khanfar. 115-126 [doi]
- Type-based Exception Analysis for Non-strict Higher-order Functional Languages with Imprecise Exception SemanticsRuud Koot, Jurriaan Hage. 127-138 [doi]
- Polyvariant Cardinality Analysis for Non-strict Higher-order Functional Languages: Brief AnnouncementHidde Verstoep, Jurriaan Hage. 139-142 [doi]