Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540587927, 9783540491040

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A module system for meta-programming

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-58792-6_24 ◽

1994 ◽

pp. 395-409

Author(s):

P. M. Hill

Keyword(s):

Meta Programming ◽

Module System

Download Full-text

A transformation system for definite programs based on termination analysis

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-58792-6_4 ◽

1994 ◽

pp. 51-68 ◽

Cited By ~ 6

Author(s):

J. Cook ◽

J. P. Gallagher

Keyword(s):

Transformation System ◽

Termination Analysis

Download Full-text

Formal semantics of temporal epistemic reflection

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-58792-6_21 ◽

1994 ◽

pp. 332-352 ◽

Cited By ~ 8

Author(s):

Wiebe Hoek ◽

John-Jules Meyer ◽

Jan Treur

Keyword(s):

Formal Semantics

Download Full-text

An architecture with multiple meta-levels for the development of correct programs

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-58792-6_19 ◽

1994 ◽

pp. 293-310

Author(s):

Barbara Dunin-Keplicz

Download Full-text

Logic programming and logic grammars with first-order continuations

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-58792-6_14 ◽

1994 ◽

pp. 215-230 ◽

Cited By ~ 5

Author(s):

Paul Tarau ◽

Veronica Dahl

Keyword(s):

Logic Programming ◽

First Order ◽

Logic Grammars

Download Full-text

Avoiding non-termination when learning logic programs: A case study with FOIL and FOCL

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-58792-6_12 ◽

1994 ◽

pp. 183-198 ◽

Cited By ~ 5

Author(s):

Giovanni Semeraro ◽

Floriana Esposito ◽

Donato Malerba ◽

Clifford Brunk ◽

Michael Pazzani

Keyword(s):

Logic Programs ◽

Learning Logic

Download Full-text

On specification frameworks and deductive synthesis of logic programs

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-58792-6_7 ◽

1994 ◽

pp. 104-121 ◽

Cited By ~ 15

Author(s):

Kung-Kiu Lau ◽

Mario Ornaghi

Keyword(s):

Logic Programs ◽

Deductive Synthesis

Download Full-text

Propagation of inter-argument dependencies in “Tuple-distributive” type inference systems

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-58792-6_13 ◽

1994 ◽

pp. 199-214

Author(s):

Christine Solnon ◽

Michel Rueher

Keyword(s):

Type Inference ◽

Inference Systems

Download Full-text

Transforming specifications of observable behaviour into programs

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-58792-6_6 ◽

1994 ◽

pp. 88-103

Author(s):

David Gilbert ◽

Christopher Hogger ◽

Jirí Zlatuska

Keyword(s):

Observable Behaviour

Download Full-text

A basis for a multilevel metalogic programming language

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-58792-6_17 ◽

1994 ◽

pp. 262-275 ◽

Cited By ~ 4

Author(s):

Jonas Barklund ◽

Katrin Boberg ◽

Pierangelo Dell'Acqua

Keyword(s):

Programming Language

Download Full-text

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

A module system for meta-programming

A transformation system for definite programs based on termination analysis

Formal semantics of temporal epistemic reflection

An architecture with multiple meta-levels for the development of correct programs

Logic programming and logic grammars with first-order continuations

Avoiding non-termination when learning logic programs: A case study with FOIL and FOCL

On specification frameworks and deductive synthesis of logic programs

Propagation of inter-argument dependencies in “Tuple-distributive” type inference systems

Transforming specifications of observable behaviour into programs

A basis for a multilevel metalogic programming language

Logic Program Synthesis and Transformation — Meta-Programming in Logic - Lecture Notes in Computer Science
Latest Publications