×

Semantics and types in functional logic programming. (English) Zbl 0988.68037

Middeldorp, Aart (ed.) et al., Functional and logic programming. 4th Fuji international symposium, FLOPS ’99, Tsukuba, Japan, November 11-13, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1722, 1-20 (1999).
Summary: The rewriting logic CRWL has been proposed as a semantic framework for higher-order functional logic programming, using applicative rewriting systems as programs and lazy narrowing as the goal solving procedure. We present an extension of CRWL with a polymorphic type system, and we investigate the consequences of type discipline both at the semantic level and at the operational level. Semantically, models must be extended to incorporate a type universe. Operationally, lazy narrowing must maintain suitable type information in goals, in order to guarantee well-typed computed answers.
For the entire collection see [Zbl 0929.00068].

MSC:

68N17 Logic programming
68N18 Functional programming and lambda calculus

Software:

HiLog
PDFBibTeX XMLCite