default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th LOPSTR 2007: Kongens Lyngby, Denmark
- Andy King:
Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4915, Springer 2008, ISBN 978-3-540-78768-6
Program Termination
- Michael Codish
:
Proving Termination with (Boolean) Satisfaction. 1-7 - Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye:
Termination Analysis of Logic Programs Based on Dependency Graphs. 8-22 - Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla:
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. 23-42
Program Transformation
- François Degrave, Wim Vanhoof:
Towards a Normal Form for Mercury Programs. 43-58 - Peter Van Weert, Jon Sneyers, Bart Demoen:
Aggregates for CHR through Program Transformation. 59-73 - Sebastian Fischer, Josep Silva, Salvador Tamarit, Germán Vidal:
Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. 74-89 - Bernd Braßel, Jan Christiansen:
Denotation by Transformation. 90-105
Constraint Solving and Analysis
- Slim Abdennadher, Ingi Sobhi:
Generation of Rule-Based Constraint Solvers: Combined Approach. 106-120 - Ye Zhang, Flemming Nielson:
A Scalable Inclusion Constraint Solver Using Unification. 121-137 - Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. 138-153 - Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo:
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. 154-168
Software Engineering
- Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi:
Snapshot Generation in a Constructive Object-Oriented Modeling Language. 169-184 - Iman Poernomo:
Synthesis of Data Views for Communicating Processes. 185-200 - Annalisa Bossi, Carla Piazza, Sabina Rossi:
Action Refinement in Process Algebra and Security Issues. 201-217
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-21 19:39 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:
