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

9783540221746, 9783540259381

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Proving Termination with Adornments

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

10.1007/978-3-540-25938-1_10 ◽

2004 ◽

pp. 108-109 ◽

Cited By ~ 1

Author(s):

Alexander Serebrenik ◽

Danny De Schreye

Download Full-text

Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables

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

10.1007/978-3-540-25938-1_6 ◽

2004 ◽

pp. 59-74 ◽

Cited By ~ 3

Author(s):

Rudolf Berghammer ◽

Markus Müller-Olm

Keyword(s):

Approximation Algorithms ◽

Auxiliary Variables ◽

Formal Development

Download Full-text

Specification and Synthesis of Hybrid Automata for Physics-Based Animation

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

10.1007/978-3-540-25938-1_4 ◽

2004 ◽

pp. 54-55

Author(s):

Thomas Ellman

Keyword(s):

Hybrid Automata ◽

Physics Based Animation

Download Full-text

Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures

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

10.1007/978-3-540-25938-1_2 ◽

2004 ◽

pp. 20-33

Author(s):

Francis Alexandre ◽

Khaled Bsaïes ◽

Moussa Demba

Keyword(s):

Inductive Proof

Download Full-text

From Interpreter to Logic Engine by Defunctionalization

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

10.1007/978-3-540-25938-1_13 ◽

2004 ◽

pp. 143-159 ◽

Cited By ~ 8

Author(s):

Dariusz Biernacki ◽

Olivier Danvy

Download Full-text

Deterministic Higher-Order Patterns for Program Transformation

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

10.1007/978-3-540-25938-1_12 ◽

2004 ◽

pp. 128-142 ◽

Cited By ~ 1

Author(s):

Tetsuo Yokoyama ◽

Zhenjiang Hu ◽

Masato Takeichi

Keyword(s):

Program Transformation ◽

Higher Order

Download Full-text

Formal Reasoning about Efficient Data Structures: A Case Study in ACL2

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

10.1007/978-3-540-25938-1_7 ◽

2004 ◽

pp. 75-91

Author(s):

José Luis Ruiz-Reina ◽

José Antonio Alonso-Jiménez ◽

María José Hidalgo ◽

Francisco Jesús Martín-Mateos

Keyword(s):

Data Structures ◽

Formal Reasoning ◽

Efficient Data ◽

Efficient Data Structures

Download Full-text

Simplification of Database Integrity Constraints Revisited: A Transformational Approach

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

10.1007/978-3-540-25938-1_16 ◽

2004 ◽

pp. 178-197 ◽

Cited By ~ 10

Author(s):

Henning Christiansen ◽

Davide Martinenghi

Keyword(s):

Integrity Constraints ◽

Database Integrity

Download Full-text

Continuation Semantics as Horn Clauses

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

10.1007/978-3-540-25938-1_15 ◽

2004 ◽

pp. 176-177

Author(s):

Qian Wang ◽

Gopal Gupta

Keyword(s):

Horn Clauses

Download Full-text

Linearization by Program Transformation

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

10.1007/978-3-540-25938-1_14 ◽

2004 ◽

pp. 160-175 ◽

Cited By ~ 1

Author(s):

Sandra Alves ◽

Mário Florido

Keyword(s):

Program Transformation

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Proving Termination with Adornments

Formal Development and Verification of Approximation Algorithms Using Auxiliary Variables

Specification and Synthesis of Hybrid Automata for Physics-Based Animation

Predicate Synthesis from Inductive Proof Attempt of Faulty Conjectures

From Interpreter to Logic Engine by Defunctionalization

Deterministic Higher-Order Patterns for Program Transformation

Formal Reasoning about Efficient Data Structures: A Case Study in ACL2

Simplification of Database Integrity Constraints Revisited: A Transformational Approach

Continuation Semantics as Horn Clauses

Linearization by Program Transformation

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