zbMATH — the first resource for mathematics

Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. (English) Zbl 1320.68017
Lecture Notes in Computer Science 8901. Cham: Springer (ISBN 978-3-319-14124-4/pbk; 978-3-319-14125-1/ebook). xii, 237 p. (2014).

Show indexed articles as search result.

The articles of mathematical interest will be reviewed individually. For the preceding symposium see [Zbl 1271.68016].
Indexed articles:
Aransay, Jesús; Divasón, Jose, Formalization and execution of linear algebra: from theorems to algorithms, 1-18 [Zbl 1453.68210]
Beckert, Bernhard; Bruns, Daniel; Klebanov, Vladimir; Scheben, Christoph; Schmitt, Peter H.; Ulbrich, Mattias, Information flow in object-oriented software, 19-37 [Zbl 1453.68027]
Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl, A transformational approach to resource analysis with typed-norms, 38-53 [Zbl 1453.68041]
Nishida, Naoki; Vidal, Germán, A finite representation of the narrowing space, 54-71 [Zbl 1453.68054]
Danvy, Olivier; Johannsen, Jacob, From outermost reduction semantics to abstract machine, 91-108 [Zbl 1453.68045]
Vidal, Germán, Towards Erlang verification by term rewriting, 109-126 [Zbl 1453.68032]
Seki, Hirohisa, Extending co-logic programs for branching-time model checking, 127-144 [Zbl 1453.68034]
Saeedloei, Neda, A logical encoding of timed \(\pi\)-calculus, 164-182 [Zbl 1453.68113]
Antoy, Sergio; Jost, Andy, Compiling a functional logic language: The Fair Scheme, 202-219 [Zbl 1453.68039]
Bach Poulsen, Casper; Mosses, Peter D., Generating specialized interpreters for modular structural operational semantics, 220-236 [Zbl 1453.68040]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: DOI