Please enable JavaScript.
Coggle requires JavaScript to display documents.
Abstract Machines - Coggle Diagram
Abstract Machines
-
-
-
-
Abstract machines are composed first by state (information that is stored in the abstract machine and the properties of this information are described in an invariant)
-
Machine Consistency
We have to ensure that clauses are consistent and coherent. How to guarantee that initialization and operations respects the invariant?
-
After the execution of the operations, the state has to respect the invariant
-