default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th LOPSTR 2002: Madrid, Spain
- Michael Leuschel:
Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers. Lecture Notes in Computer Science 2664, Springer 2003, ISBN 3-540-40438-4
Debugging and Types
- María Alpuente
, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas:
Abstract Diagnosis of Functional Programs. 1-16 - Francisco Gutiérrez, Blas C. Ruiz:
A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene. 17-31
Tabling and Constraints
- Slim Abdennadher, Christophe Rigotti:
Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming. 32-47 - Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano:
Translating Datalog-Like Optimization Queries into ILOG Programs. 48-49 - Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting:
Tabling Structures for Bottom-Up Logic Programming. 50-51
Abstract Interpretation
- Gianluca Amato, Francesca Scozzari:
A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties. 52-70 - Axel Simon, Andy King, Jacob M. Howe:
Two Variables per Linear Inequality as an Abstract Domain. 71-89 - Julio C. Peralta, John P. Gallagher:
Convex Hull Abstractions in Specialization of CLP Programs. 90-108 - Nancy Mazur, Gerda Janssens, Wim Vanhoof:
Collecting Potential Optimisations. 109-110
Program Refinement
- Maribel Fernández, Paula Severi:
An Operational Approach to Program Extraction in the Calculus of Constructions. 111-125 - Robert Colvin, Ian J. Hayes, David Hemer, Paul A. Strooper:
Refinement of Higher-Order Logic Programs. 126-143 - Rudolf Berghammer:
A Generic Program for Minimal Subsets with Applications. 144-157
Verification
- Hai-Feng Guo, C. R. Ramakrishnan, I. V. Ramakrishnan:
Justification Based on Program Transformation. 158-159 - Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Combining Logic Programs and Monadic Second Order Logics by Program Transformation. 160-181 - Francisco-Jesús Martín-Mateos, José-Antonio Alonso, María-José Hidalgo, José-Luis Ruiz-Reina:
Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers. 182-198 - Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi:
A Proof System for Information Flow Security. 199-218
Partial Evaluation
- Germán Vidal:
Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation. 219-237 - Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe:
A Fixed Point Semantics for Logic Programs Extended with Cuts. 238-257 - Stefan Gruner:
Abstract Partial Deduction Challenged. 258-259
Rewriting and Object-Oriented Development
- Kung-Kiu Lau, Mario Ornaghi:
Towards Correct Object-Oriented Design Frameworks in Computational Logic. 260-261 - Christiano de Oliveira Braga, Edward Hermann Haeusler, José Meseguer, Peter D. Mosses:
Mapping Modular SOS to Rewriting Logic. 262-277 - Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike:
Program Synthesis Based on the Equivalent Transformation Computation Model. 278-279
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-12 00:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
