Protocol description and simulation in the OCCAM programming language.
Gert Van Der JeugtErik F. DirkxJacques TiberghienPublished in: Microprocess. Microprogramming (1988)
Keyphrases
- programming language
- high level
- object oriented
- general purpose
- strongly typed
- programming environment
- denotational semantics
- object oriented programming
- software engineering
- database languages
- computer programs
- functional language
- logic programming
- data abstraction
- database language
- expert systems
- databases
- high level programming language
- programming tool
- functional programming
- specification language
- artificial intelligence