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

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540266556, 9783540316831

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Natural Rewriting for General Term Rewriting Systems

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

10.1007/11506676_7 ◽

2005 ◽

pp. 101-116 ◽

Author(s):

Santiago Escobar ◽

José Meseguer ◽

Prasanna Thati

Keyword(s):

Term Rewriting ◽

General Term ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

Negation Elimination for Finite PCFGs

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

10.1007/11506676_8 ◽

2005 ◽

pp. 117-132

Author(s):

Taisuke Sato ◽

Yoshitaka Kameya

Download Full-text

Efficient Local Unfolding with Ancestor Stacks for Full Prolog

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

10.1007/11506676_10 ◽

2005 ◽

pp. 149-165 ◽

Author(s):

Germán Puebla ◽

Elvira Albert ◽

Manuel Hermenegildo

Keyword(s):

Local Unfolding

Download Full-text

Constructive Specifications for Compositional Units

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

10.1007/11506676_13 ◽

2005 ◽

pp. 198-214

Author(s):

Kung-Kiu Lau ◽

Alberto Momigliano ◽

Mario Ornaghi

Download Full-text

Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs

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

10.1007/11506676_3 ◽

2005 ◽

pp. 36-52 ◽

Author(s):

Sandeep S. Kulkarni ◽

Borzoo Bonakdarpour ◽

Ali Ebnenasir

Keyword(s):

Fault Tolerant ◽

Automatic Synthesis ◽

Mechanical Verification

Download Full-text

Input-Termination of Logic Programs

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

10.1007/11506676_14 ◽

2005 ◽

pp. 215-230

Author(s):

M. R. K. Krishna Rao

Keyword(s):

Download Full-text

Logical Mobility and Locality Types

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

10.1007/11506676_5 ◽

2005 ◽

pp. 69-84 ◽

Author(s):

Jonathan Moody

Download Full-text

Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis

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

10.1007/11506676_17 ◽

2005 ◽

pp. 262-277 ◽

Author(s):

J. B. Wells ◽

Boris Yakobowski

Download Full-text

Schema-Guided Synthesis of Imperative Programs by Constraint Solving

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

10.1007/11506676_11 ◽

2005 ◽

pp. 166-181 ◽

Author(s):

Michael A. Colón

Keyword(s):

Constraint Solving

Download Full-text

From Natural Semantics to Abstract Machines

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

10.1007/11506676_16 ◽

2005 ◽

pp. 245-261 ◽

Author(s):

Mads Sig Ager

Keyword(s):

Abstract Machines

Download Full-text