## 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)

- 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.