Semantics-Directed Machine Architecture.

Published in: POPL (1982)

Keyphrases

management system
formal semantics
software architecture
conceptual model
multiprocessor database
real time
architectural design
multi agent
expert systems
logic programming
network architecture
data flow