Fred Mesnard, Peter J. Stuckey
Revised Selected Papers of the 28th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2019.

@proceedings{LOPSTR-2018,
	doi           = "10.1007/978-3-030-13838-7",
	editor        = "Fred Mesnard and Peter J. Stuckey",
	isbn          = "['978-3-030-13837-0', '978-3-030-13838-7']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 28th International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 11408,
	year          = 2019,
}

Contents (11 items)

LOPSTR-2018-Lucas #first-order #proving #satisfiability

Proving Program Properties as First-Order Satisfiability (SL), pp. 3–21.

LOPSTR-2018-Payet #standard #term rewriting

Guided Unfoldings for Finding Loops in Standard Term Rewriting (ÉP), pp. 22–37.

LOPSTR-2018-AlpuenteCEM #axiom #commutative

Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms (MA, ACO, SE, JM), pp. 38–55.

LOPSTR-2018-CarboneCMM #multi

Multiparty Classical Choreographies (MC, LCF, FM, AM), pp. 59–76.

LOPSTR-2018-PapapanagiotouF #approach #composition #linear #logic #process #scalability #using

A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference (PP, JDF), pp. 77–93.

LOPSTR-2018-0001K #confluence #equivalence #invariant

Confluence of CHR Revisited: Invariants and Modulo Equivalence (HC0, MHK), pp. 94–111.

LOPSTR-2018-NysS #compilation #deduction

Compiling Control as Offline Partial Deduction (VN, DDS), pp. 115–131.

LOPSTR-2018-TroumpoukisC #higher-order #logic programming #source code

Predicate Specialization for Definitional Higher-Order Logic Programs (AT, AC), pp. 132–147.

LOPSTR-2018-FalaschiO #constraints #logic #slicing

An Assertion Language for Slicing Constraint Logic Languages (MF, CO), pp. 148–165.

LOPSTR-2018-TitoloMFM #float #source code #testing

Eliminating Unstable Tests in Floating-Point Programs (LT, CAM, MAF, MMM), pp. 169–183.

LOPSTR-2018-Garcia-Contreras #abstract interpretation #multi

Multivariant Assertion-Based Guidance in Abstract Interpretation (IGC, JFM, MVH), pp. 184–201.