UTP semantics for the MCA ARMv8 architecture.

Lili Xiao Huibiao Zhu

Published in: J. Syst. Archit. (2022)

Keyphrases

formal semantics
conceptual model
logic programming
real time
management system
active rules
information systems
software architecture
agent communication
database
transformation rules
inference engine
hardware implementation
semantic information
high level
learning algorithm
genetic algorithm
neural network