Program Development in Computational Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540221524, 9783540259510

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specifying Compositional Units for Correct Program Development in Computational Logic

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_1 ◽

2004 ◽

pp. 1-29 ◽

Cited By ~ 2

Author(s):

Kung-Kiu Lau ◽

Mario Ornaghi

Keyword(s):

Program Development ◽

Computational Logic ◽

Correct Program

Download Full-text

Specialising Interpreters Using Offline Partial Deduction

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_11 ◽

2004 ◽

pp. 340-375 ◽

Cited By ~ 9

Author(s):

Michael Leuschel ◽

Stephen J. Craig ◽

Maurice Bruynooghe ◽

Wim Vanhoof

Keyword(s):

Partial Deduction

Download Full-text

Transformation Rules for Locally Stratified Constraint Logic Programs

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_10 ◽

2004 ◽

pp. 291-339 ◽

Cited By ~ 13

Author(s):

Fabio Fioravanti ◽

Alberto Pettorossi ◽

Maurizio Proietti

Keyword(s):

Logic Programs ◽

Transformation Rules ◽

Constraint Logic Programs

Download Full-text

Characterisations of Termination in Logic Programming

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_12 ◽

2004 ◽

pp. 376-431

Author(s):

Dino Pedreschi ◽

Salvatore Ruggieri ◽

Jan-Georg Smaus

Keyword(s):

Logic Programming

Download Full-text

Proving Termination for Logic Programs by the Query-Mapping Pairs Approach

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_14 ◽

2004 ◽

pp. 453-498 ◽

Cited By ~ 10

Author(s):

Naomi Lindenstrauss ◽

Yehoshua Sagiv ◽

Alexander Serebrenik

Keyword(s):

Logic Programs ◽

Query Mapping

Download Full-text

Binding-Time Analysis for Mercury

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_7 ◽

2004 ◽

pp. 189-232 ◽

Cited By ~ 3

Author(s):

Wim Vanhoof ◽

Maurice Bruynooghe ◽

Michael Leuschel

Keyword(s):

Time Analysis ◽

Binding Time ◽

Binding Time Analysis

Download Full-text

Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_9 ◽

2004 ◽

pp. 261-290 ◽

Cited By ~ 2

Author(s):

Abhik Roychoudhury ◽

C. R. Ramakrishnan

Keyword(s):

Concurrent Systems ◽

Automated Verification

Download Full-text

Synthesis of Programs in Computational Logic

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_2 ◽

2004 ◽

pp. 30-65 ◽

Cited By ~ 21

Author(s):

David Basin ◽

Yves Deville ◽

Pierre Flener ◽

Andreas Hamfelt ◽

Jørgen Fischer Nilsson

Keyword(s):

Computational Logic

Download Full-text

Herbrand Constraints in HAL

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_15 ◽

2004 ◽

pp. 499-538

Author(s):

Bart Demoen ◽

María García de la Banda ◽

Warwick Harvey ◽

Kim Marriott ◽

David Overton ◽

...

Download Full-text

Analysing Logic Programs by Reasoning Backwards

Program Development in Computational Logic - Lecture Notes in Computer Science ◽

10.1007/978-3-540-25951-0_6 ◽

2004 ◽

pp. 152-188 ◽

Cited By ~ 6

Author(s):

Jacob M. Howe ◽

Andy King ◽

Lunjin Lu

Keyword(s):

Logic Programs

Download Full-text

Program Development in Computational Logic - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Specifying Compositional Units for Correct Program Development in Computational Logic

Specialising Interpreters Using Offline Partial Deduction

Transformation Rules for Locally Stratified Constraint Logic Programs

Characterisations of Termination in Logic Programming

Proving Termination for Logic Programs by the Query-Mapping Pairs Approach

Binding-Time Analysis for Mercury

Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems

Synthesis of Programs in Computational Logic

Herbrand Constraints in HAL

Analysing Logic Programs by Reasoning Backwards

Program Development in Computational Logic - Lecture Notes in Computer Science
Latest Publications