×

zbMATH — the first resource for mathematics

Logic based program synthesis and transformation. 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised selected papers. (English) Zbl 1045.68013
Lecture Notes in Computer Science 2664. Berlin: Springer (ISBN 3-540-40438-4/pbk). x, 281 p. (2003).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. The preceding workshop has been reviewed (see Zbl 0992.00050)
Indexed articles:
Alpuente, María; Comini, Marco; Escobar, Santiago; Falaschi, Moreno; Lucas, Salvador, Abstract diagnosis of functional programs, 1-16 [Zbl 1278.68056]
Gutiérrez, Francisco; Ruiz, Blas, A cut-free sequent calculus for pure type systems verifying the structural rules of Gentzen/Kleene, 17-31 [Zbl 1278.03037]
Abdennadher, Slim; Rigotti, Christophe, Constraint solver synthesis using tabled resolution for constraint logic programming, 32-47 [Zbl 1278.68044]
Amato, Gianluca; Scozzari, Francesca, A general framework for variable aliasing: towards optimal operators for sharing properties, 52-70 [Zbl 1278.68045]
Simon, Axel; King, Andy; Howe, Jacob M., Two variables per linear inequality as an abstract domain, 71-89 [Zbl 1278.68072]
Peralta, Julio C.; Gallagher, John P., Convex hull abstractions in specialization of CLP programs, 90-108 [Zbl 1278.68052]
Fernández, Maribel; Severi, Paula, An operational approach to program extraction in the calculus of constructions, 111-125 [Zbl 1278.68071]
Colvin, Robert; Hayes, Ian; Hemer, David; Strooper, Paul, Refinement of higher-order logic programs, 126-143 [Zbl 1278.68046]
Berghammer, Rudolf, A generic program for minimal subsets with applications, 144-157 [Zbl 1278.68069]
Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio, Combining logic programs and monadic second order logics by program transformation, 160-181 [Zbl 1278.68049]
Martín-Mateos, F. J.; Alonso, J. A.; Hidalgo, M. J.; Ruiz-Reina, J. L., Verification in ACL2 of a generic framework to synthesize SAT-provers, 182-198 [Zbl 1278.68273]
Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina, A proof system for information flow security, 199-218 [Zbl 1278.68158]
Vidal, Germán, Forward slicing of multi-paradigm declarative programs based on partial evaluation, 219-237 [Zbl 1278.68073]
Vanhoof, Wim; Tronçon, Remko; Bruynooghe, Maurice, A fixed point semantics for logic programs extended with cuts, 238-257 [Zbl 1278.68055]
De Braga, Christiano O.; Hæusler, E. Hermann; Meseguer, José; Mosses, Peter D., Mapping modular SOS to rewriting logic, 262-277 [Zbl 1278.68166]

MSC:
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
PDF BibTeX XML Cite
Full Text: Link