Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540676287, 9783540451488

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Transformation of Left Terminating Programs

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_10 ◽

2000 ◽

pp. 156-175 ◽

Cited By ~ 3

Author(s):

Annalisa Bossi ◽

Nicoletta Cocco ◽

Sandro Etalle

Download Full-text

Annotations for Prolog – A Concept and Runtime Handling

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_14 ◽

2000 ◽

pp. 234-254 ◽

Cited By ~ 4

Author(s):

Marija Kulaš

Download Full-text

Constraint Logic Programming Applied to Model Checking

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_3 ◽

2000 ◽

pp. 30-41 ◽

Cited By ~ 12

Author(s):

Laurent Fribourg

Keyword(s):

Model Checking ◽

Logic Programming ◽

Constraint Logic Programming

Download Full-text

Context-Moving Transformations for Function Verification

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_17 ◽

2000 ◽

pp. 293-312 ◽

Cited By ~ 5

Author(s):

Jürgen Giesl

Download Full-text

The Replacement Operation for CCP Programs

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_13 ◽

2000 ◽

pp. 216-233 ◽

Cited By ~ 3

Author(s):

Marco Bertolino ◽

Sandro Etalle ◽

Catuscia Palamidessi

Keyword(s):

Replacement Operation

Download Full-text

Imperative Program Specialisation: An Approach Using CLP

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_7 ◽

2000 ◽

pp. 102-117 ◽

Cited By ~ 3

Author(s):

Julio C. Peralta ◽

John P. Gallagher

Keyword(s):

Program Specialisation

Download Full-text

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_4 ◽

2000 ◽

pp. 42-61

Author(s):

Juliana Küster Filipe ◽

Kung-Kiu Lau ◽

Mario Ornaghi ◽

Hirokazu Yatsu

Keyword(s):

Software Development ◽

Computational Logic

Download Full-text

Mode Analysis Domains for Typed Logic Programs

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_6 ◽

2000 ◽

pp. 82-101 ◽

Cited By ~ 8

Author(s):

Jan-Georg Smaus ◽

Patricia M. Hill ◽

Andy King

Keyword(s):

Mode Analysis ◽

Logic Programs

Download Full-text

Algebraic Specification and Program Development by Stepwise Refinement

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_1 ◽

2000 ◽

pp. 1-9 ◽

Cited By ~ 5

Author(s):

Donald Sannella

Keyword(s):

Program Development ◽

Algebraic Specification ◽

Stepwise Refinement

Download Full-text

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/10720327_16 ◽

2000 ◽

pp. 273-292 ◽

Cited By ~ 25

Author(s):

Germán Puebla ◽

Francisco Bueno ◽

Manuel Hermenegildo

Keyword(s):

Logic Programs ◽

Constraint Logic Programs

Download Full-text

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Transformation of Left Terminating Programs

Annotations for Prolog – A Concept and Runtime Handling

Constraint Logic Programming Applied to Model Checking

Context-Moving Transformations for Function Verification

The Replacement Operation for CCP Programs

Imperative Program Specialisation: An Approach Using CLP

On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic

Mode Analysis Domains for Typed Logic Programs

Algebraic Specification and Program Development by Stepwise Refinement

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs

Logic-Based Program Synthesis and Transformation - Lecture Notes in Computer Science
Latest Publications