Revised Selected Papers of the 26th International Symposium on Logic-Based Program Synthesis and Transformation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

PLT
DBLP
Scholar
DOI
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.