Inserting Injection Operations to Denotational Specifications.

Masato Takeichi

Published in: New Gener. Comput. (1986)

Keyphrases

operational semantics
real time
information systems
high level
functional requirements
arithmetic operations
artificial neural networks
data model
mobile robot
query language
delay insensitive