Programming in the Large with Algebraic Module Specifications - Response.
Andrzej TarleckiPublished in: IFIP Congress (1986)
Keyphrases
- reactive systems
- high level
- programming language
- real time
- higher order
- delay insensitive
- algebraic structure
- programming environment
- high level language
- database
- concurrent systems
- fully functional
- specification language
- functional requirements
- computer programming
- object oriented programming
- development environment
- temporal logic
- general purpose
- multi agent
- case study
- neural network
- data sets