鉴赏家
发表于 2025-3-23 13:14:23
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
食道
发表于 2025-3-23 16:35:15
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
定点
发表于 2025-3-23 18:22:18
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
生命层
发表于 2025-3-24 00:48:07
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 ; a full account of this work appears in Chandy and Misra . This manuscript contains an abbreviated
连接
发表于 2025-3-24 02:29:28
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
发表于 2025-3-24 07:13:29
http://reply.papertrans.cn/24/2362/236110/236110_16.png
Spinal-Fusion
发表于 2025-3-24 11:29:15
https://doi.org/10.1007/978-3-642-74884-4Concurrent Systems; Program Specification; Program Verification; Programmierunterstützungssysteme; Progr
frozen-shoulder
发表于 2025-3-24 18:48:07
978-3-642-74886-8Springer-Verlag Berlin Heidelberg 1989
Urea508
发表于 2025-3-24 20:43:08
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.
最初
发表于 2025-3-24 23:38:15
http://reply.papertrans.cn/24/2362/236110/236110_20.png