Fabio Fioravanti, John P. Gallagher
Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2018.

@proceedings{LOPSTR-2017,
	doi           = "10.1007/978-3-319-94460-9",
	editor        = "Fabio Fioravanti and John P. Gallagher",
	isbn          = "['978-3-319-94459-3', '978-3-319-94460-9']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 27th International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 10855,
	year          = 2018,
}

Contents (19 items)

LOPSTR-2017-AlbertGI #concurrent #detection #effectiveness #generative

Generation of Initial Contexts for Effective Deadlock Detection (EA, MGZ, MI), pp. 3–19.

LOPSTR-2017-EngelsBB #approach #database #datalog #rule-based

A Rule-Based Approach to Analyzing Database Schema Objects with Datalog (CE, AB, SB), pp. 20–36.

LOPSTR-2017-LaneveG #bytecode #concurrent #detection #java

Deadlock Detection of Java Bytecode (CL, AG), pp. 37–53.

LOPSTR-2017-LiqatBLH #bound #energy #modelling #program analysis

Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks (UL, ZB, PLG0, MVH), pp. 54–72.

LOPSTR-2017-NguyenT #analysis #parallel #source code #thread

CARET Analysis of Multithreaded Programs (HVN, TT), pp. 73–90.

LOPSTR-2017-AlbertiS #analysis #c #generative #specification #tool support

Context Generation from Formal Specifications for C Analysis Tools (MA, JS), pp. 93–111.

LOPSTR-2017-Barany #generative #random

Liveness-Driven Random Program Generation (GB), pp. 112–127.

LOPSTR-2017-InsaPST #erlang #evolution

Erlang Code Evolution Control (DI, SP0, JS, ST), pp. 128–144.

LOPSTR-2017-Fruhwirth #algorithm #constraints #logic

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms (TWF), pp. 147–163.

LOPSTR-2017-Kirkeby0 #confluence #convergence #reduction

Confluence and Convergence in Probabilistically Terminating Reduction Systems (MHK, HC0), pp. 164–179.

LOPSTR-2017-Lucas #analysis #first-order

Analysis of Rewriting-Based Systems as First-Order Theories (SL), pp. 180–197.

LOPSTR-2017-SkeirikSM #logic #reachability

A Constructor-Based Reachability Logic for Rewrite Theories (SS, AS, JM), pp. 201–217.

LOPSTR-2017-Ait-KaciP #first-order #fuzzy #unification

Fuzzy Unification and Generalization of First-Order Terms over Similar Signatures (HAK, GP), pp. 218–234.

LOPSTR-2017-Ayala-RinconSFN

Nominal C-Unification (MAR, WdCS, MF, DNS), pp. 235–251.

LOPSTR-2017-BodiniT #on the #λ-calculus

On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms (OB, PT), pp. 252–268.

LOPSTR-2017-BetarteCGL #android #validation

A Certified Reference Validation Mechanism for the Permission Model of Android (GB, JDC, FG, CL), pp. 271–288.

LOPSTR-2017-AngelisFPP #abstraction #relational #verification

Predicate Pairing with Abstraction for Relational Verification (EDA, FF, AP, MP), pp. 289–305.

LOPSTR-2017-GutierrezM #algebra #decidability #satisfiability

Variant-Based Decidable Satisfiability in Initial Algebras with Predicates (RG, JM), pp. 306–322.

LOPSTR-2017-Hanus #contract

Combining Static and Dynamic Contract Checking for Curry (MH), pp. 323–340.