A Formal Model of Instruction Set Semantics.

Robert Giegerich

Published in: Fachtagung über Programmiersprachen (1982)

Keyphrases

formal model
instruction set
predicate calculus
application specific
floating point
computer architecture
level parallelism
embedded systems
databases
security properties
memory subsystem
real time
computer science
instruction set architecture