Danny De Schreye
Revised Selected Papers of the 19th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2009.

@proceedings{LOPSTR-2009,
	address       = "Coimbra, Portugal",
	doi           = "10.1007/978-3-642-12592-8",
	editor        = "Danny De Schreye",
	isbn          = "978-3-642-12591-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 19th International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 6037,
	year          = 2009,
}

Contents (14 items)

3 ×#logic
3 ×#proving
3 ×#towards
3 ×#using
2 ×#constraints
2 ×#dependence
2 ×#framework
2 ×#induction
2 ×#logic programming
2 ×#partial evaluation

LOPSTR-2009-Vidal #declarative #partial evaluation #scalability #source code #towards

Towards Scalable Partial Evaluation of Declarative Programs (GV), pp. 1–4.

LOPSTR-2009-PettorossiPS #branch #logic #program transformation

Deciding Full Branching Time Logic by Program Transformation (AP, MP, VS), pp. 5–21.

LOPSTR-2009-PilozziSB #approach #constraints #proving

A Transformational Approach for Proving Properties of the CHR Constraint Store (PP, TS, MB), pp. 22–36.

LOPSTR-2009-Schneider-KampGN #dependence #framework #logic programming #source code #termination

The Dependency Triple Framework for Termination of Logic Programs (PSK, JG, MTN), pp. 37–51.

LOPSTR-2009-IborraNV #dependence #proving #termination

Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing (JI, NN, GV), pp. 52–66.

LOPSTR-2009-CzenkoE #flexibility #using

LP with Flexible Grouping and Aggregates Using Modes (MC, SE), pp. 67–81.

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

On Inductive and Coinductive Proofs via Unfold/Fold Transformations (HS), pp. 82–96.

LOPSTR-2009-MinG #induction #logic programming

Coinductive Logic Programming with Negation (RM, GG), pp. 97–112.

LOPSTR-2009-Nishimura #exception #logic

Refining Exceptions in Four-Valued Logic (SN), pp. 113–127.

LOPSTR-2009-DegraveSV #constraints #framework #generative #testing #towards

Towards a Framework for Constraint-Based Test Case Generation (FD, TS, WV), pp. 128–142.

LOPSTR-2009-AstefanoaeiBR #testing #using

Using Rewrite Strategies for Testing BUpL Agents (LA, FSdB, MBvR), pp. 143–157.

LOPSTR-2009-BolzLR #partial evaluation #prolog #towards

Towards Just-In-Time Partial Evaluation of Prolog (CFB, ML, AR), pp. 158–172.

LOPSTR-2009-ScandoloKH #parallel #pipes and filters #using

Program Parallelization Using Synchronized Pipelining (LS, CK, MVH), pp. 173–187.

LOPSTR-2009-AlpuenteFJV #datalog #logic

Defining Datalog in Rewriting Logic (MA, MAF, CJ, AV), pp. 188–204.