Revised Selected Papers of the 18th International Symposium on Logic-Based Program Synthesis and Transformation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Michael Hanus
Revised Selected Papers of the 18th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2008.

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.