Program separation and definitional higher order programming
References (13)
Partial inductive definitions
Theoretical Computer Science
(1991)WM94: program separation in GCLA
- et al.
Program separation in GCLA
Program separation as a basis for definitional higher order programming
Definitional program separation
- et al.
A proof-theoretical approach to logic programming, part I, clauses as rules
Journal of Logic and Computation
(1990)
There are more references available in the full text version of this article.
Cited by (1)
Declarative programming and clinical medicine on the use of gisela in the medview project
2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Copyright © 1997 Published by Elsevier Ltd.