default search action

combined dblp search
author search
venue search
publication search

ask others

Program Development in Computational Logic 2004

> Home > Conferences and Workshops

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/2004lncs
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/2004lncs
Maurice Bruynooghe, Kung-Kiu Lau:
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Lecture Notes in Computer Science 3049, Springer 2004, ISBN 3-540-22152-2

Specification and Synthesis

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LauO04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LauO04
Kung-Kiu Lau, Mario Ornaghi:
Specifying Compositional Units for Correct Program Development in Computational Logic. 1-29
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BasinDFHN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BasinDFHN04
David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson:
Synthesis of Programs in Computational Logic. 30-65
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/ColvinGHHNS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/ColvinGHHNS04
Robert Colvin, Lindsay Groves, Ian J. Hayes, David Hemer, Ray Nickson, Paul A. Strooper:
Developing Logic Programs from Specifications Using Stepwise Refinement. 66-89

Semantics

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/BossiCER04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/BossiCER04
Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi:
Declarative Semantics of Input Consuming Logic Programs. 90-114
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/Brogi04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/Brogi04
Antonio Brogi:
On the Semantics of Logic Program Composition. 115-151

Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/HoweKL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/HoweKL04
Jacob M. Howe, Andy King, Lunjin Lu:
Analysing Logic Programs by Reasoning Backwards. 152-188
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/VanhoofBL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/VanhoofBL04
Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel:
Binding-Time Analysis for Mercury. 189-232
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PueblaCHBBMS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PueblaCHBBMS04
Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
A Generic Framework for Context-Sensitive Analysis of Modular Programs. 233-260

Transformation and Specialisation

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/RoychoudhuryR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/RoychoudhuryR04
Abhik Roychoudhury, C. R. Ramakrishnan:
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. 261-290
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/FioravantiPP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/FioravantiPP04
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti:
Transformation Rules for Locally Stratified Constraint Logic Programs. 291-339
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LeuschelCBV04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LeuschelCBV04
Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof:
Specialising Interpreters Using Offline Partial Deduction. 340-375

Termination

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/PedreschiRS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/PedreschiRS04
Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus:
Characterisations of Termination in Logic Programming. 376-431
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/MartinK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/MartinK04
Jonathan C. Martin, Andy King:
On the Inference of Natural Level Mappings. 432-452
- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/LindenstraussSS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/LindenstraussSS04
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik:
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. 453-498

Systems

- view
  authority control:
- export record
  dblp key:
  - conf/lopstr/DemoenBHMOS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lopstr/DemoenBHMOS04
Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey:
Herbrand Constraints in HAL. 499-538

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.