Michael Hanus
Revised Selected Papers of the 18th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2008.
@proceedings{LOPSTR-2008,
address = "Valencia, Spain",
doi = "10.1007/978-3-642-00515-2",
editor = "Michael Hanus",
isbn = "978-3-642-00514-5",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Revised Selected Papers of the 18th International Symposium on Logic-Based Program Synthesis and Transformation}",
volume = 5438,
year = 2008,
}
Contents (12 items)
- LOPSTR-2008-CalcagnoDOY
- Space Invading Systems Code (CC, DD, PWO, HY), pp. 1–3.
- LOPSTR-2008-AlbertGP #bytecode #generative #partial evaluation #testing
- Test Data Generation of Bytecode by CLP Partial Evaluation (EA, MGZ, GP), pp. 4–23.
- LOPSTR-2008-AlpuenteEMO #algorithm #composition #equation
- A Modular Equational Generalization Algorithm (MA, SE, JM, PO), pp. 24–39.
- LOPSTR-2008-ArroyoRTV #approach #functional #higher-order #source code
- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs (GA, JGR, ST, GV), pp. 40–54.
- LOPSTR-2008-BandaG #analysis #hybrid #linear
- Analysis of Linear Hybrid Systems in CLP (GB, JPG), pp. 55–70.
- LOPSTR-2008-DegraveSV #automation #generative #testing
- Automatic Generation of Test Inputs for Mercury (FD, TS, WV), pp. 71–86.
- LOPSTR-2008-Kitzelmann #functional #induction #programming
- Analytical Inductive Functional Programming (EK), pp. 87–102.
- LOPSTR-2008-LeuschelLOST #csp #specification #static analysis
- The MEB and CEB Static Analysis for CSP Specifications (ML, ML, JO, JS, ST), pp. 103–118.
- LOPSTR-2008-LeuschelV #logic programming #partial evaluation #performance #scalability #source code
- Fast Offline Partial Evaluation of Large Logic Programs (ML, GV), pp. 119–134.
- LOPSTR-2008-MontenegroPS #algorithm
- An Inference Algorithm for Guaranteeing Safe Destruction (MM, RPM, CS), pp. 135–151.
- LOPSTR-2008-SchrijversBG #polymorphism
- From Monomorphic to Polymorphic Well-Typings and Beyond (TS, MB, JPG), pp. 152–167.
- LOPSTR-2008-Seki #on the #semantics #set
- On Negative Unfolding in the Answer Set Semantics (HS), pp. 168–184.