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

9783540657651, 9783540489580

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Specialising Logic Programs with Respect to Call/Post Specifications

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

10.1007/3-540-48958-4_9 ◽

1999 ◽

pp. 159-178

Author(s):

Annalisa Bossi ◽

Sabina Rossi

Keyword(s):

Logic Programs

Download Full-text

Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging

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

10.1007/3-540-48958-4_24 ◽

1999 ◽

pp. 328-330 ◽

Cited By ~ 1

Author(s):

Sarah Mallet ◽

Mireille Ducassé

Keyword(s):

Deductive Databases

Download Full-text

Algorithms for Synthesizing Reactive Systems: A Perspective

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

10.1007/3-540-48958-4_17 ◽

1999 ◽

pp. 308-308

Author(s):

Pierre Wolper

Keyword(s):

Reactive Systems

Download Full-text

Strictness Analysis as Finite-Domain Constraint Solving

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

10.1007/3-540-48958-4_14 ◽

1999 ◽

pp. 255-270

Author(s):

Tihomir Gabrić ◽

Kevin Glynn ◽

Harald Søndergaard

Keyword(s):

Constraint Solving ◽

Finite Domain ◽

Strictness Analysis

Download Full-text

Attempto Controlled English — Not Just Another Logic Specification Language

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

10.1007/3-540-48958-4_1 ◽

1999 ◽

pp. 1-20 ◽

Cited By ~ 41

Author(s):

Norbert E. Fuchs ◽

Uta Schwertel ◽

Rolf Schwitter

Keyword(s):

Specification Language

Download Full-text

OOD Frameworks in Component-Based Software - Development in Computational Logic

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

10.1007/3-540-48958-4_6 ◽

1999 ◽

pp. 101-123 ◽

Cited By ~ 8

Author(s):

Kung-Kiu Lau ◽

Mario Ornaghi

Keyword(s):

Software Development ◽

Computational Logic

Download Full-text

Synthesis of Programs in Abstract Data Types

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

10.1007/3-540-48958-4_5 ◽

1999 ◽

pp. 81-100 ◽

Cited By ~ 2

Author(s):

Alessandro Avellone ◽

Mauro Ferrari ◽

Pierangelo Miglioli

Keyword(s):

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury

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

10.1007/3-540-48958-4_2 ◽

1999 ◽

pp. 21-40

Author(s):

Dante Baldan ◽

Baudouin Le Charlier ◽

Christophe Leclère ◽

Isabelle Pollet

Keyword(s):

Declarative Semantics ◽

Program Construction

Download Full-text

Successes in Logic Programs

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

10.1007/3-540-48958-4_12 ◽

1999 ◽

pp. 219-239 ◽

Cited By ~ 1

Author(s):

Annalisa Bossi ◽

Nicoletta Cocco

Keyword(s):

Logic Programs

Download Full-text

Improving Homeomorphic Embedding for Online Termination

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

10.1007/3-540-48958-4_11 ◽

1999 ◽

pp. 199-218 ◽

Cited By ~ 7

Author(s):

Michael Leuschel

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Specialising Logic Programs with Respect to Call/Post Specifications

Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging

Algorithms for Synthesizing Reactive Systems: A Perspective

Strictness Analysis as Finite-Domain Constraint Solving

Attempto Controlled English — Not Just Another Logic Specification Language

OOD Frameworks in Component-Based Software - Development in Computational Logic

Synthesis of Programs in Abstract Data Types

A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury

Successes in Logic Programs

Improving Homeomorphic Embedding for Online Termination

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