default search action

combined dblp search
author search
venue search
publication search

ask others

13th LOPSTR 2003: Uppsala, Sweden

> Home > Conferences and Workshops > LOPSTR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2003
Maurice Bruynooghe:
Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3018, Springer 2004, ISBN 3-540-22174-3

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LehmannL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LehmannL03
Helko Lehmann, Michael Leuschel:
Inductive Theorem Proving by Program Specialisation: Generating Proofs for Isabelle Using Ecce. 1-19

Specification and Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlexandreBD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlexandreBD03
Francis Alexandre, Khaled Bsaïes, Moussa Demba:
Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures. 20-33
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LauO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LauO03
Kung-Kiu Lau, Mario Ornaghi:
Correct OO Systems in Computational Logic. 34-53
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Ellman03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Ellman03
Thomas Ellman:
Specification and Synthesis of Hybrid Automata for Physics-Based Animation. 54-55
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FischerV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FischerV03
Bernd Fischer, Eelco Visser:
Adding Concrete Syntax to a Prolog-Based Program Synthesis System (Extended Abstract). 56-58

Verification

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BerghammerM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BerghammerM03
Rudolf Berghammer, Markus Müller-Olm:
Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables. 59-74
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Ruiz-ReinaJHM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Ruiz-ReinaJHM03
José-Luis Ruiz-Reina, José Antonio Alonso Jimenez, María-José Hidalgo, Francisco-Jesús Martín-Mateos:
Formal Reasoning about Efficient Data Structures: A Case Study in ACL2. 75-91

Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Gallagher03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Gallagher03
John P. Gallagher:
A Program Transformation for Backwards Analysis of Logic Programs. 92-105
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/MurakamiHKT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/MurakamiHKT03
Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi, Masato Takeichi:
An Efficient Staging Algorithm for Binding-Time Analysis. 106-107
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/SerebrenikS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/SerebrenikS03
Alexander Serebrenik, Danny De Schreye:
Proving Termination with Adornments. 108-109

Transformation and Specialisation

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/WeberC03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/WeberC03
Tjark Weber, James L. Caldwell:
Constructively Characterizing Fold and Unfold. 110-127
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/YokoyamaHT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/YokoyamaHT03
Tetsuo Yokoyama, Zhenjiang Hu, Masato Takeichi:
Deterministic Higher-Order Patterns for Program Transformation. 128-142
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BiernackiD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BiernackiD03
Dariusz Biernacki, Olivier Danvy:
From Interpreter to Logic Engine by Defunctionalization. 143-159
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlvesF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlvesF03
Sandra Alves, Mário Florido:
Linearization by Program Transformation. 160-175
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/WangG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/WangG03
Qian Wang, Gopal Gupta:
Continuation Semantics as Horn Clauses. 176-177

Constraints

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/ChristiansenM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/ChristiansenM03
Henning Christiansen, Davide Martinenghi:
Simplification of Database Integrity Constraints Revisited: A Transformational Approach. 178-197
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AbdennadherF03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AbdennadherF03
Slim Abdennadher, Thom W. Frühwirth:
Integration and Optimization of Rule-Based Constraint Solvers. 198-213
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FlenerPA03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FlenerPA03
Pierre Flener, Justin Pearson, Magnus Ågren:
Introducing esra, a Relational Language for Modelling Combinatorial Problems. 214-232

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.