@inproceedings{48733c8d92d74b699260ca31bfae0e42,
title = "Schema-Based Top-Down design of logic programs using abstract data types",
abstract = "This paper presents a set of schemata that support stepwise top-down design of logic programs using abstract data types (ADTs). There are thus three main components to this approach: top-down design, program schemata and ADTs, all of which are already well established notions. Our aim is to combine these ideas in a framework, amenable to support by design tools and allowing the use of existing logic program transformation techniques to optimise the final programs.",
author = "E. Marakakis and Gallagher, {J. P.}",
year = "1994",
doi = "10.1007/3-540-58792-6_9",
language = "English",
isbn = "9783540587927",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "138--153",
editor = "Laurent Fribourg and Franco Turini",
booktitle = "Logic Program Synthesis and Transformation – Meta-Programming in Logic - 4th International Workshops LOPSTR 1994 and META 1994, Proceedings",
note = "4th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 1994 and Metaprogramming in Logic, META 1994 ; Conference date: 20-06-1994 Through 21-06-1994",
}