Gopal Gupta, Ricardo Peña
Revised Selected Papers of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation
LOPSTR, 2013.

@proceedings{LOPSTR-2013,
	address       = "Madrid, Spain",
	doi           = "10.1007/978-3-319-14125-1",
	editor        = "Gopal Gupta and Ricardo Peña",
	isbn          = "['978-3-319-14124-4', '978-3-319-14125-1']",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected Papers of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation}",
	volume        = 8901,
	year          = 2013,
}

Contents (13 items)

3 ×#semantics
2 ×#analysis
2 ×#logic
2 ×#source code
2 ×#towards

LOPSTR-2013-AransayD #algebra #algorithm #execution #formal method #linear #theorem

Formalization and Execution of Linear Algebra: From Theorems to Algorithms (JA, JD), pp. 1–18.

LOPSTR-2013-BeckertBKSSU #data flow #object-oriented

Information Flow in Object-Oriented Software (BB, DB, VK, CS, PHS, MU), pp. 19–37.

LOPSTR-2013-AlbertGG #analysis #approach

A Transformational Approach to Resource Analysis with Typed-Norms (EA, SG, RG), pp. 38–53.

LOPSTR-2013-NishidaV #finite #representation

A Finite Representation of the Narrowing Space (NN, GV), pp. 54–71.

LOPSTR-2013-LiqatKSGLGHE #analysis #energy #modelling #source code

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models (UL, SK, AS, KG, PLG, NG, MVH, KE), pp. 72–90.

LOPSTR-2013-DanvyJ #automaton #reduction #semantics

From Outermost Reduction Semantics to Abstract Machine (OD, JJ), pp. 91–108.

LOPSTR-2013-Vidal #erlang #term rewriting #towards #verification

Towards Erlang Verification by Term Rewriting (GV), pp. 109–126.

LOPSTR-2013-Seki #logic programming #model checking #source code

Extending Co-logic Programs for Branching-Time Model Checking (HS), pp. 127–144.

LOPSTR-2013-FakhrySA #implementation #semantics #text-to-text #towards

Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics (GF, NS, SA), pp. 145–163.

LOPSTR-2013-Saeedloei #encoding #logic #π-calculus

A Logical Encoding of Timed π-Calculus (NS), pp. 164–182.

LOPSTR-2013-GonzalezIS #architecture #debugging #eclipse #hybrid

A New Hybrid Debugging Architecture for Eclipse (JG, DI, JS), pp. 183–201.

LOPSTR-2013-AntoyJ #compilation #functional #logic

Compiling a Functional Logic Language: The Fair Scheme (SA, AJ), pp. 202–219.

LOPSTR-2013-PoulsenM #composition #generative #semantics

Generating Specialized Interpreters for Modular Structural Operational Semantics (CBP, PDM), pp. 220–236.