Declarative systems: proceedings of the IFIP TC-10/WG 10.1 Workshop on Concepts and Characteristics of Declarative Systems, Budapest, Hungary, 16-20 October, 1988

Front Cover

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

A Constructive Specification Theory
33
Using Lazy Evaluation to Find Fixpoints in Infinite Domains
85
On the Formal Description of Noncomputational Objects
99
Copyright

4 other sections not shown

Other editions - View all

Common terms and phrases