Abstract. Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language.
Sep 15, 1989 · Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language.
We propose a collection of principles for reasoning about lazy functional programs. These include rules for predicate logic, rules of conversion of programs ...
People also ask
What is a functional programming approach?
How is concurrent programming different from functional programming?
What type of programming is defined by the term functional programming?
What are the advantages of functional programming as compared to sequential programming?
A functional programming approach to the specification and verification of ...
dl.acm.org › doi › pdf
Thus the correctness of concurrent systems can be reduced to the correctness of functional programs. In this paper such correctness is proved formally in the ...
Jul 6, 1988 · A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Authors: Peter Dybjer. Peter Dybjer.
Abstract: Networks of communicating processes can be viewed as networks of stream transformers and programmed in a lazy functional language.
This book discusses the Interplay of Theory and Practice in a Parallel Object-Oriented Language, and a Functional Programming Approach to the Specification ...
Oct 7, 2017 · A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Paper in proceeding, 1990. Author. Peter Dybjer.
A Functional Programming Approach to the Specification and Verification of Concurrent Systems. Conference paper, reviewed. Authors. Peter Dybjer | External.
$54.99
This volume contains papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems held on 6-8 July 1988, ...