Revised Selected Papers of the 24th 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

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

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

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.

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.