Maurizio Proietti, Hirohisa Seki
Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2014.

@proceedings{LOPSTR-2014,
	address       = "Canterbury, England, United Kingdom",
	doi           = "10.1007/978-3-319-17822-6",
	editor        = "Maurizio Proietti and Hirohisa Seki",
	isbn          = "978-3-319-17821-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 24th International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 8981,
	year          = 2014,
}

Contents (18 items)

3 ×#constraints
3 ×#logic programming
3 ×#semantics
3 ×#source code
2 ×#case study
2 ×#compilation
2 ×#execution
2 ×#prolog
2 ×#synthesis

LOPSTR-2014-CornishGNSSS #array #program transformation #source code

Analyzing Array Manipulating Programs by Program Transformation (JRMC, GG, JAN, PS, HS, PJS), pp. 3–20.

LOPSTR-2014-SchreyeNN #compilation #deduction

Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction (DDS, VN, CJN), pp. 21–38.

LOPSTR-2014-ChristiansenK #confluence #constraints #equivalence

Confluence Modulo Equivalence in Constraint Handling Rules (HC, MHK), pp. 41–58.

LOPSTR-2014-ElsawyZA #execution #text-to-text

Exhaustive Execution of CHR Through Source-to-Source Transformation (AE, AZ, SA), pp. 59–73.

LOPSTR-2014-GallF #architecture #semantics

A Formal Semantics for the Cognitive Architecture ACT-R (DG, TWF), pp. 74–91.

LOPSTR-2014-SharafAF #animation #constraints #named

CHRAnimation: An Animation Tool for Constraint Handling Rules (NS, SA, TWF), pp. 92–110.

LOPSTR-2014-LucasMG #2d #dependence #framework #term rewriting

Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems (SL, JM, RG), pp. 113–130.

LOPSTR-2014-SinghK #detection #java #partial evaluation

Partial Evaluation for Java Malware Detection (RS, AK), pp. 133–147.

LOPSTR-2014-AlvesDF #data access #metamodelling #semantics

Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics (SA, AD, MF), pp. 148–163.

LOPSTR-2014-Vidal #execution #generative #prolog #testing

Concolic Execution and Test Case Generation in Prolog (GV), pp. 167–181.

LOPSTR-2014-PreiningOF #case study #liveness #specification

Liveness Properties in CafeOBJ — A Case Study for Meta-Level Specifications (NP, KO, KF), pp. 182–198.

LOPSTR-2014-TahatE #hybrid #protocol #self #synthesis #verification

A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols (AT, AE), pp. 201–218.

LOPSTR-2014-Balaniuk #induction #synthesis

Drill and Join: A Method for Exact Inductive Program Synthesis (RB), pp. 219–237.

LOPSTR-2014-Danilenko #functional

Functional Kleene Closures (ND), pp. 241–258.

LOPSTR-2014-Drabent #logic programming #on the #source code

On Completeness of Logic Programs (WD), pp. 261–278.

LOPSTR-2014-ChowdhuryLCKY #approximate #case study #logic programming #polynomial #semantics #source code

Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies (MSC, FL, WC, AK, JHY), pp. 279–296.

LOPSTR-2014-AriasLM #compilation #constraints #declarative #logic programming

Declarative Compilation for Constraint Logic Programming (EJGA, JL, JMC), pp. 299–316.

LOPSTR-2014-MoralesH #prolog

Pre-indexed Terms for Prolog (JFM, MVH), pp. 317–331.