System semantics: principles, applications, and implementation
Best source
All available sources
- Authors:
- Boute, Raymond T.
- Source:
- ACM Transactions on Programming Languages & Systems. Jan 1988, Vol. 10 Issue 1, p118, 38 p. chart SN74163 synchronous binary counter.
- Publication Date:
- 1988-01-01
- Language:
- Undetermined
- Abstract:
- 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.
- Format:
- Academic Journal
- Database:
- Gale OneFile: Computer Science
- Journal:
- ACM Transactions on Programming Languages & Systems
- Volume:
- 10
- Issue:
- 1
- Page Start:
- 118
- Page Count:
- 38
- ISSN:
- 01640925
