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

9783540787686, 9783540787693

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Synthesis of Data Views for Communicating Processes

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

10.1007/978-3-540-78769-3_13 ◽

2008 ◽

pp. 185-200

Author(s):

Iman Poernomo

Keyword(s):

Communicating Processes

Download Full-text

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

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

10.1007/978-3-540-78769-3_10 ◽

2008 ◽

pp. 138-153 ◽

Cited By ~ 2

Author(s):

Amadeo Casas ◽

Manuel Carro ◽

Manuel V. Hermenegildo

Keyword(s):

Logic Programs

Download Full-text

Snapshot Generation in a Constructive Object-Oriented Modeling Language

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

10.1007/978-3-540-78769-3_12 ◽

2008 ◽

pp. 169-184 ◽

Cited By ~ 2

Author(s):

Mauro Ferrari ◽

Camillo Fiorentini ◽

Alberto Momigliano ◽

Mario Ornaghi

Keyword(s):

Object Oriented ◽

Modeling Language

Download Full-text

A Scalable Inclusion Constraint Solver Using Unification

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

10.1007/978-3-540-78769-3_9 ◽

2008 ◽

pp. 121-137 ◽

Cited By ~ 1

Author(s):

Ye Zhang ◽

Flemming Nielson

Keyword(s):

Constraint Solver

Download Full-text

Proving Termination with (Boolean) Satisfaction

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

10.1007/978-3-540-78769-3_1 ◽

2008 ◽

pp. 1-7 ◽

Cited By ~ 1

Author(s):

Michael Codish

Download Full-text

Generation of Rule-Based Constraint Solvers: Combined Approach

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

10.1007/978-3-540-78769-3_8 ◽

2008 ◽

pp. 106-120 ◽

Cited By ~ 1

Author(s):

Slim Abdennadher ◽

Ingi Sobhi

Keyword(s):

Combined Approach ◽

Rule Based

Download Full-text

Termination Analysis of Logic Programs Based on Dependency Graphs

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

10.1007/978-3-540-78769-3_2 ◽

2008 ◽

pp. 8-22 ◽

Cited By ~ 17

Author(s):

Manh Thang Nguyen ◽

Jürgen Giesl ◽

Peter Schneider-Kamp ◽

Danny De Schreye

Keyword(s):

Logic Programs ◽

Termination Analysis ◽

Dependency Graphs

Download Full-text

Towards a Normal Form for Mercury Programs

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

10.1007/978-3-540-78769-3_4 ◽

2008 ◽

pp. 43-58 ◽

Cited By ~ 2

Author(s):

François Degrave ◽

Wim Vanhoof

Keyword(s):

Normal Form

Download Full-text

Denotation by Transformation

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

10.1007/978-3-540-78769-3_7 ◽

2008 ◽

pp. 90-105 ◽

Cited By ~ 1

Author(s):

Bernd Braßel ◽

Jan Christiansen

Download Full-text

Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

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

10.1007/978-3-540-78769-3_3 ◽

2008 ◽

pp. 23-42

Author(s):

Elvira Albert ◽

John Gallagher ◽

Miguel Gómez-Zamalloa ◽

Germán Puebla

Keyword(s):

Partial Evaluation

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Synthesis of Data Views for Communicating Processes

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

Snapshot Generation in a Constructive Object-Oriented Modeling Language

A Scalable Inclusion Constraint Solver Using Unification

Proving Termination with (Boolean) Satisfaction

Generation of Rule-Based Constraint Solvers: Combined Approach

Termination Analysis of Logic Programs Based on Dependency Graphs

Towards a Normal Form for Mercury Programs

Denotation by Transformation

Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation

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