Abstract
The behavior of a VLSI device can be expressed in occam, a language based on communicating processes. It is then possible to establish that the design behaves as intended, by simulation and by proof techniques using the formal semantics of occam. Finally, the occam source can be directly compiled into correct silicon layout.
- Occam Programming Manual, Prentice-Hall International, 1984 Google Scholar
Digital Library
- The Laws of Occam Programming, A W Roscoe and C A R Hoare, Programming Research Group, Oxford University, 1986.Google Scholar
- Format Methods applied to a Floating Point Number System, G Barrett, Programming Research Group, Oxford University, 1986.Google Scholar
- The Transputer Implementation of Occam, David May and Roger Shepherd, Esprit Summer School on Future Parallel Computers, 1986.Google Scholar
- Compiling Communicating Processes into delay insensitive VLSI Circuits, Alain J Martin, Journal of distributed computing, 1986.Google Scholar
- Communicating Process Computers, David May and Roger Shepherd, Esprit Summer School on Future Parallel Computers, 1986.Google Scholar
Index Terms
Survey of educational programs in medical information science
Recommendations
Informality in Program Specifications
This paper is concerned with the need for computer-based tools which help human designers formulate formal process-oriented specifications. It first determines some attributes of a suitable process-oriented specification language, then examines the ...
Program specification and development in standard ML
POPL '85: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languagesAn attempt is made to apply ideas about algebraic specification in the context of a programming language. Standard ML with modules is extended by allowing axioms in module interface specifications and in place of code. The resulting specification ...
Meta-evaluation as a tool for program understanding
IJCAI'77: Proceedings of the 5th international joint conference on Artificial intelligence - Volume 1Formal program specifications are difficult to write. They are always constructed from an informal precursor. We are exploring the technology required to aid in the construction of the formal specification from the informal version.
An informal ...






Comments