Andy King
Revised Selected Papers of the 17th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2007.

@proceedings{LOPSTR-2007,
	address       = "Kongens Lyngby, Denmark",
	editor        = "Andy King",
	isbn          = "978-3-540-78768-6",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 17th International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 4915,
	year          = 2007,
}

Contents (14 items)

5 ×#source code
2 ×#analysis
2 ×#approach
2 ×#constraints
2 ×#generative
2 ×#logic programming
2 ×#object-oriented
2 ×#partial evaluation
2 ×#process
2 ×#termination

LOPSTR-2007-Codish #proving #termination

Proving Termination with (Boolean) Satisfaction (MC), pp. 1–7.

LOPSTR-2007-NguyenGSS #analysis #dependence #graph #logic programming #source code #termination

Termination Analysis of Logic Programs Based on Dependency Graphs (MTN, JG, PSK, DDS), pp. 8–22.

LOPSTR-2007-AlbertGGP #online #partial evaluation #type system

Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation (EA, JPG, MGZ, GP), pp. 23–42.

LOPSTR-2007-DegraveV #normalisation #source code #towards

Towards a Normal Form for Mercury Programs (FD, WV), pp. 43–58.

LOPSTR-2007-WeertSD #program transformation

Aggregates for CHR through Program Transformation (PVW, JS, BD), pp. 59–73.

LOPSTR-2007-FischerSTV #functional #lazy evaluation #partial evaluation #source code

Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (SF, JS, ST, GV), pp. 74–89.

LOPSTR-2007-BrasselC

Denotation by Transformation (BB, JC), pp. 90–105.

LOPSTR-2007-AbdennadherS #approach #constraints #generative #rule-based #theorem proving

Generation of Rule-Based Constraint Solvers: Combined Approach (SA, IS), pp. 106–120.

LOPSTR-2007-ZhangN #constraints #scalability #theorem proving #unification #using

A Scalable Inclusion Constraint Solver Using Unification (YZ, FN), pp. 121–137.

LOPSTR-2007-CasasCH #algorithm #independence #logic programming #source code #strict

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (AC, MC, MVH), pp. 138–153.

LOPSTR-2007-Mendez-LojoNH #analysis #approach #flexibility #object-oriented #source code

A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (MML, JAN, MVH), pp. 154–168.

LOPSTR-2007-FerrariFMO #generative #modelling #object-oriented

Snapshot Generation in a Constructive Object-Oriented Modeling Language (MF, CF, AM, MO), pp. 169–184.

LOPSTR-2007-Poernomo #communication #process #synthesis

Synthesis of Data Views for Communicating Processes (IP), pp. 185–200.

LOPSTR-2007-BossiPR #algebra #process #refinement #security

Action Refinement in Process Algebra and Security Issues (AB, CP, SR), pp. 201–217.