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

9783540404385, 9783540450139

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstract Partial Deduction Challenged

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

10.1007/3-540-45013-0_19 ◽

2003 ◽

pp. 258-259 ◽

Cited By ~ 1

Author(s):

Stefan Gruner

Keyword(s):

Partial Deduction

Download Full-text

Collecting Potential Optimisations

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

10.1007/3-540-45013-0_9 ◽

2003 ◽

pp. 109-110 ◽

Cited By ~ 2

Author(s):

Nancy Mazur ◽

Gerda Janssens ◽

Wim Vanhoof

Download Full-text

Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming

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

10.1007/3-540-45013-0_3 ◽

2003 ◽

pp. 32-47

Author(s):

Slim Abdennadher ◽

Christophe Rigotti

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Constraint Solver ◽

Tabled Resolution

Download Full-text

Towards Correct Object-Oriented Design Frameworks in Computational Logic

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

10.1007/3-540-45013-0_20 ◽

2003 ◽

pp. 260-261

Author(s):

Kung-Kiu Lau ◽

Mario Ornaghi

Keyword(s):

Object Oriented ◽

Computational Logic ◽

Object Oriented Design ◽

Correct Object

Download Full-text

Combining Logic Programs and Monadic Second Order Logics by Program Transformation

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

10.1007/3-540-45013-0_14 ◽

2003 ◽

pp. 160-181 ◽

Cited By ~ 1

Author(s):

Fabio Fioravanti ◽

Alberto Pettorossi ◽

Maurizio Proietti

Keyword(s):

Program Transformation ◽

Second Order ◽

Logic Programs

Download Full-text

Program Synthesis Based on the Equivalent Transformation Computation Model

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

10.1007/3-540-45013-0_22 ◽

2003 ◽

pp. 278-279 ◽

Cited By ~ 1

Author(s):

Kiyoshi Akama ◽

Ekawit Nantajeewarawat ◽

Hidekatsu Koike

Keyword(s):

Program Synthesis ◽

Equivalent Transformation ◽

Computation Model

Download Full-text

A Proof System for Information Flow Security

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

10.1007/3-540-45013-0_16 ◽

2003 ◽

pp. 199-218 ◽

Cited By ~ 7

Author(s):

Annalisa Bossi ◽

Riccardo Focardi ◽

Carla Piazza ◽

Sabina Rossi

Keyword(s):

Information Flow ◽

Proof System ◽

Information Flow Security

Download Full-text

Mapping Modular SOS to Rewriting Logic

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

10.1007/3-540-45013-0_21 ◽

2003 ◽

pp. 262-277 ◽

Cited By ~ 7

Author(s):

Christiano O. de Braga ◽

E. Hermann Hæusler ◽

José Meseguer ◽

Peter D. Mosses

Keyword(s):

Rewriting Logic

Download Full-text

Abstract Diagnosis of Functional Programs

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

10.1007/3-540-45013-0_1 ◽

2003 ◽

pp. 1-16 ◽

Cited By ~ 9

Author(s):

María Alpuente ◽

Marco Comini ◽

Santiago Escobar ◽

Moreno Falaschi ◽

Salvador Lucas

Download Full-text

A Generic Program for Minimal Subsets with Applications

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

10.1007/3-540-45013-0_12 ◽

2003 ◽

pp. 144-157 ◽

Cited By ~ 2

Author(s):

Rudolf Berghammer

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Abstract Partial Deduction Challenged

Collecting Potential Optimisations

Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming

Towards Correct Object-Oriented Design Frameworks in Computational Logic

Combining Logic Programs and Monadic Second Order Logics by Program Transformation

Program Synthesis Based on the Equivalent Transformation Computation Model

A Proof System for Information Flow Security

Mapping Modular SOS to Rewriting Logic

Abstract Diagnosis of Functional Programs

A Generic Program for Minimal Subsets with Applications

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