Some Extensions to Algebraic Specifications.
John V. GuttagEllis HorowitzDavid R. MusserPublished in: Language Design for Reliable Software (1977)
Keyphrases
- formal specification
- efficient implementation
- algebraic structure
- high level
- video sequences
- higher order
- search algorithm
- written in natural language
- bounded model checking
- concurrent systems
- finite state machines
- information retrieval
- multiscale
- database systems
- website
- decision making
- feature selection
- information systems