System semantics: principles, applications, and implementation
All available sources
- Boute, Raymond T.
- ACM Transactions on Programming Languages & Systems. Jan 1988, Vol. 10 Issue 1, p118, 38 p. chart SN74163 synchronous binary counter.
- Publication Date:
- Systems semantics is a concept which extends programming languages' denotational semantics into a semantics for describing arbitrary systems. The arbitrary systems include objects that are in no sense computations. Two classes of applications are discussed: unidirectional systems and nonunidirectional systems. A brief discussion is also included of implementation and rapid prototyping strategies in various system description environments.
- Academic Journal
- Gale OneFile: Computer Science
- ACM Transactions on Programming Languages & Systems
- Page Start:
- Page Count: