María Alpuente
Revised Selected Papers of the 20th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2010.

@proceedings{LOPSTR-2010,
	address       = "Hagenberg, Austria",
	doi           = "10.1007/978-3-642-20551-4",
	editor        = "María Alpuente",
	isbn          = "978-3-642-20550-7",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 20th International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 6564,
	year          = 2010,
}

Contents (15 items)

4 ×#logic programming
4 ×#source code
3 ×#analysis
3 ×#graph
3 ×#proving
2 ×#algorithm
2 ×#first-order
2 ×#generative
2 ×#verification

LOPSTR-2010-DanvyZ #combinator #graph #reduction

Three Syntactic Theories for Combinatory Graph Reduction (OD, IZ), pp. 1–20.

LOPSTR-2010-SchumannCL #analysis #synthesis

Analysis of Air Traffic Track Data with the AutoBayes Synthesis System (JS, KC, AL), pp. 21–36.

LOPSTR-2010-HerasPR #correctness #proving #set

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (JH, VP, JR), pp. 37–51.

LOPSTR-2010-LlorensOST #csp #generative #graph #process

Graph Generation to Statically Represent CSP Processes (ML, JO, JS, ST), pp. 52–66.

LOPSTR-2010-GiorginoSMP #algorithm #graph #verification

Verification of the Schorr-Waite Algorithm — From Trees to Graphs (MG, MS, RM, MP), pp. 67–83.

LOPSTR-2010-SakuraiA #library #named #proving #user interface #visualisation

MikiBeta: A General GUI Library for Visualizing Proof Trees — System Description and Demonstration (KS, KA), pp. 84–98.

LOPSTR-2010-AlbertGRP #composition #generative #imperative #testing

Compositional CLP-Based Test Data Generation for Imperative Languages (EA, MGZ, JMR, GP), pp. 99–116.

LOPSTR-2010-Seki #induction #on the #proving

On Inductive Proofs by Extended Unfold/Fold Transformation Rules (HS), pp. 117–132.

LOPSTR-2010-VoetsS #analysis #logic programming #source code #using

Non-termination Analysis of Logic Programs Using Types (DV, DDS), pp. 133–148.

LOPSTR-2010-InsaS #algorithm #debugging #execution #scalability

Scaling Up Algorithmic Debugging with Virtual Execution Trees (DI, JS), pp. 149–163.

LOPSTR-2010-FioravantiPPS #evaluation #infinity #verification

Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation (FF, AP, MP, VS), pp. 164–183.

LOPSTR-2010-StroderSG #analysis #dependence #logic programming #source code #termination

Dependency Triples for Improving Termination Analysis of Logic Programs with Cut (TS, PSK, JG), pp. 184–199.

LOPSTR-2010-Vidal #approach #hybrid #logic programming #partial evaluation #source code

A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (GV), pp. 200–214.

LOPSTR-2010-BacciC #first-order #functional #logic programming #source code

Abstract Diagnosis of First Order Functional Logic Programs (GB, MC), pp. 215–233.

LOPSTR-2010-CalvesF #first-order

The First-Order Nominal Link (CC, MF), pp. 234–248.