Elvira Albert
Revised Selected Papers of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2012.

@proceedings{LOPSTR-2012,
	address       = "Leuven, Belgium",
	doi           = "10.1007/978-3-642-38197-3",
	editor        = "Elvira Albert",
	isbn          = "['978-3-642-38196-6', '978-3-642-38197-3']",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 7844,
	year          = 2012,
}

Contents (15 items)

4 ×#logic programming
4 ×#source code
2 ×#declarative
2 ×#program transformation
2 ×#set
2 ×#term rewriting

LOPSTR-2012-GieslSSEF #evaluation #graph #logic programming #source code #symbolic computation #term rewriting

Symbolic Evaluation Graphs and Term Rewriting — A General Methodology for Analyzing Logic Programs (JG, TS, PSK, FE, CF), p. 1.

LOPSTR-2012-SchrijversTWSS #combinator

An Introduction to Search Combinators (TS, GT, PW, HS, PJS), pp. 2–16.

LOPSTR-2012-ChristiansenHLP #data analysis #declarative #pipes and filters

A Declarative Pipeline Language for Complex Data Analysis (HC, CTH, OTL, MP), pp. 17–34.

LOPSTR-2012-DandoisV #logic programming #semantics #source code

Semantic Code Clones in Logic Programs (CD, WV), pp. 35–50.

LOPSTR-2012-AngelisFPP #model checking

Specialization with Constrained Generalization for Software Model Checking (EDA, FF, AP, MP), pp. 51–70.

LOPSTR-2012-InsaST #debugging #declarative

Enhancing Declarative Debugging with Loop Expansion and Tree Compression (DI, JS, CT), pp. 71–88.

LOPSTR-2012-RamliNN #programming #set

XACML 3.0 in Answer Set Programming (CDPKR, HRN, FN), pp. 89–105.

LOPSTR-2012-MantelS #analysis #data flow #dependence

Types vs. PDGs in Information Flow Analysis (HM, HS), pp. 106–121.

LOPSTR-2012-MarpleG #named #set

Galliwasp: A Goal-Directed Answer Set Solver (KM, GG), pp. 122–136.

LOPSTR-2012-NishidaV #term rewriting

Computing More Specific Versions of Conditional Rewriting Systems (NN, GV), pp. 137–154.

LOPSTR-2012-Niwa0S #source code

Improving Determinization of Grammar Programs for Program Inversion (MN, NN, MS), pp. 155–175.

LOPSTR-2012-RojasG #constraints #framework #generative #logic programming #testing

A Framework for Guided Test Case Generation in Constraint Logic Programming (JMR, MGZ), pp. 176–193.

LOPSTR-2012-SeghirB #array #program transformation #quantifier #verification

Simplifying the Verification of Quantified Array Assertions via Code Transformation (MNS, MB), pp. 194–212.

LOPSTR-2012-Seki #logic programming #program transformation #proving #source code

Proving Properties of Co-logic Programs with Negation by Program Transformations (HS), pp. 213–227.

LOPSTR-2012-Zinn #program analysis #reasoning

Program Analysis and Manipulation to Reproduce Learners’ Erroneous Reasoning (CZ), pp. 228–243.