default search action

combined dblp search
author search
venue search
publication search

ask others

10th LOPSTR 2000: London, UK

> 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/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2000
Kung-Kiu Lau:
Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers. Lecture Notes in Computer Science 2042, Springer 2001, ISBN 3-540-42127-0

Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AvelloneFF00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AvelloneFF00a
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini:
A Formal Framework for Synthesis and Verification of Logic Programs. 1-17
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PoernomoC00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PoernomoC00a
Iman Poernomo, John N. Crossley:
Protocols between Programs and Proofs. 18-37
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/ColvinHS00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/ColvinHS00a
Robert Colvin, Ian J. Hayes, Paul A. Strooper:
A Technique for Modular Logic Program Refinement. 38-56

Transformation

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/SeresS00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/SeresS00a
Silvija Seres, J. Michael Spivey:
Higher-Order Transformation of Logic Programs. 57-68

Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/SerebrenikS00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/SerebrenikS00a
Alexander Serebrenik, Danny De Schreye:
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. 69-85
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BuenoBHMPS00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BuenoBHMPS00a
Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey:
A Model for Inter-module Analysis and Optimizing Compilation. 86-102

Specialisation

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/AlbertAV00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/AlbertAV00a
Elvira Albert, Sergio Antoy, Germán Vidal:
Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages. 103-124
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FioravantiPP00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FioravantiPP00a
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Automated Strategies for Specializing Constraint Logic Programs. 125-146

Abstract Interpretation

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PierroW00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PierroW00a
Alessandra Di Pierro, Herbert Wiklicky:
Measuring the Precision of Abstract Interpretations. 147-164

Debugging

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/JahierDR00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/JahierDR00a
Erwan Jahier, Mireille Ducassé, Olivier Ridoux:
Specifying Prolog Trace Models with a Continuation Semantics. 165-182

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.