Titlebook: Constructive Methods in Computing Science; International Summer Manfred Broy Conference proceedings 1989 Springer-Verlag Berlin Heidelberg

鉴赏家

Lectures on Constructive Functional Programmings and notations for defining functions over various data types — including lists, trees, and arrays — together with their algebraic and other properties. Each lecture begins with a specific problem, and the theory necessary to solve it is then developed. In this way we hope to show that a functional

食道

Notes on an Approach to Category Theory for Computer Scientists are too busy to devote the long period of continuous study required to master the subject from standard texts. The notes are therefore structured into three independent chapters, of which the earlier ones are the simplest and most clearly relevant to computer science. Each chapter introduces a numb

定点

Towards a Design Methodology for Distributed Systemsquential systems starting from an abstract specification going through a number of design decisions and finally leading to a distributed system composed of communicating and cooperating programs. A fully formal framework is provided such that all steps can be performed within the formal framework by

生命层

A Foundation of Parallel Programmingrams. This theory consists of a simple computational model and a logic that is appropriate for specifying and reasoning about such programs. The computational model was first proposed in Chandy [1]; a full account of this work appears in Chandy and Misra [2]. This manuscript contains an abbreviated

连接

Design of Synchronization Algorithms shared variables and synchronize via semaphores. We present an axiomatic definition of semaphores, and prove properties about them. The split binary semaphore is introduced and it is shown how it can be used in constructing the synchronization part of concurrent processes in order to maintain a giv

anticipate

Spinal-Fusion

https://doi.org/10.1007/978-3-642-74884-4Concurrent Systems; Program Specification; Program Verification; Programmierunterstützungssysteme; Progr

frozen-shoulder

978-3-642-74886-8Springer-Verlag Berlin Heidelberg 1989

Urea508

Gebrauchstauglichkeit von Medizintechnik,and classical logic is also discussed. In addition mention is made of the connection between the natural-deduction-style reasoning used here and the theory of preorders discussed by Hoare elsewhere in this volume.

最初