Manuel V. Hermenegildo, Pedro López-García 0001
Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2017.

@proceedings{LOPSTR-2016,
	doi           = "10.1007/978-3-319-63139-4",
	editor        = "Manuel V. Hermenegildo and Pedro López-García 0001",
	isbn          = "['978-3-319-63138-7', '978-3-319-63139-4']",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 10184,
	year          = 2017,
}

Contents (20 items)

LOPSTR-2016-AlpuenteCEM #axiom #equation #order #partial evaluation #source code

Partial Evaluation of Order-Sorted Equational Programs Modulo Axioms (MA, ACO, SE, JM), pp. 3–20.

LOPSTR-2016-AlbertBBM #haskell

A Formal, Resource Consumption-Preserving Translation of Actors to Haskell (EA, NB, FSdB, EMM), pp. 21–37.

LOPSTR-2016-AngelisFMPP #horn clause #process #using #verification

Verification of Time-Aware Business Processes Using Constrained Horn Clauses (EDA, FF, MCM, AP, MP), pp. 38–55.

LOPSTR-2016-AmadiniFPSST #string

MiniZinc with Strings (RA, PF, JP, JDS, PJS, GT), pp. 59–75.

LOPSTR-2016-FalaschiGOP #concurrent #constraints #slicing #source code

Slicing Concurrent Constraint Programs (MF, MG, CO, CP), pp. 76–93.

LOPSTR-2016-AntoyJ #compilation #functional

A New Functional-Logic Compiler for Curry: Sprite (SA, AJ), pp. 97–113.

LOPSTR-2016-BichlerMW #named #optimisation #programming #set

lpopt: A Rule Optimization Tool for Answer Set Programming (MB, MM, SW), pp. 114–130.

LOPSTR-2016-MorenoPRV #execution #fuzzy #logic programming #source code #symbolic computation

Symbolic Execution and Thresholding for Efficiently Tuning Fuzzy Logic Programs (GM, JP, JAR, GV), pp. 131–147.

LOPSTR-2016-FangS #abstraction #analysis #memory management

Hierarchical Shape Abstraction for Analysis of Free List Memory Allocators (BF0, MS), pp. 151–167.

LOPSTR-2016-KomendantskayaJ #logic programming

A Productivity Checker for Logic Programming (EK, PJ, MS0), pp. 168–186.

LOPSTR-2016-Alpuente0V #contract #framework #synthesis

Symbolic Abstract Contract Synthesis in a Rewriting Framework (MA, DP0, AV), pp. 187–202.

LOPSTR-2016-MesnardPV #logic programming #on the #source code #testing #unification

On the Completeness of Selective Unification in Concolic Testing of Logic Programs (FM, ÉP, GV), pp. 205–221.

LOPSTR-2016-Hanus #named #source code

CurryCheck: Checking Properties of Curry Programs (MH), pp. 222–239.

LOPSTR-2016-Tarau #generative #normalisation #order #performance #λ-calculus

A Hiking Trip Through the Orders of Magnitude: Deriving Efficient Generators for Closed Simply-Typed Lambda Terms and Normal Forms (PT), pp. 240–255.

LOPSTR-2016-0001PV #erlang #semantics

A Reversible Semantics for Erlang (NN0, AP, GV), pp. 259–274.

LOPSTR-2016-JanaKDVC #array #bound #model checking #scalability #source code

Scaling Bounded Model Checking by Transforming Programs with Arrays (AJ, UPK, AD, RV, NC), pp. 275–292.

LOPSTR-2016-Saenz-Perez #logic programming #sql

Intuitionistic Logic Programming for SQL (FSP), pp. 293–308.

LOPSTR-2016-FarkaKH #induction #recursion

Coinductive Soundness of Corecursive Type Class Resolution (FF, EK, KH), pp. 311–327.

LOPSTR-2016-Schmidt-Schauss #higher-order #recursion #unification

Nominal Unification of Higher Order Expressions with Recursive Let (MSS, TK, JL, MV), pp. 328–344.

LOPSTR-2016-ZielenkiewiczS #approach #automaton #logic

Automata Theory Approach to Predicate Intuitionistic Logic (MZ, AS), pp. 345–360.