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

On the Operational Semantics of Distributed Concurrent Systems
3
A Constructive Specification Theory
33
Using Lazy Evaluation to Find Fixpoints in Infinite Domains
85
Copyright

9 other sections not shown

Other editions - View all

Common terms and phrases

Bibliographic information