An Experience in Transport Protocol Specification Using an Algorithmic Programming Language.
Richard W. WatsonPublished in: PSTV (1982)
Keyphrases
- programming language
- protocol specification
- general purpose
- object oriented
- software engineering
- communication protocols
- high level
- programming environment
- specification language
- denotational semantics
- computer programs
- formal specification
- formal methods
- high level programming language
- database languages
- abstract data types
- artificial intelligence
- functional programming
- knowledge based systems
- programming tool
- object oriented concepts
- query language
- relational databases
- information systems