Author:
Boye Johan,Paakki Jukka,Małuszyński Jan
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. H. AÏt-Kaci. An overview of LIFE. In Schmidt, Stogny (eds.) Next generation information system technology, pp. 42–58, LNCS 504, Springer-Verlag, 1990.
2. J. Boye. S-SLD-resolution — an operational semantics for logic programs with external procedures. In Programming language implementation and logic programming, pp. 383–393, LNCS 528, Springer-Verlag, 1991.
3. J. Boye. Avoiding dynamic delays in functional logic programs. In Programming language implementation and logic programming, Springer-Verlag, 1993.
4. J. Boye, J. Paakki and J. Maluszyński. Dependency-based groundness analysis of functional logic programs. Research report LiTH-IDA-R-93-20, Department of computer and information science, Linköping university, 1993.
5. P. Deransart. Proof methods of declarative properties of logic programs. Report 1248, INRIA Rocquencourt, 1990.