Category:Abstract Machines

From ProofWiki
Jump to navigation Jump to search

This category contains results about Abstract Machines.
Definitions specific to this category can be found in Definitions/Abstract Machines.

An abstract machine is a hypothetical computing machine defined in terms of the operations it performs rather than its internal physical structure.


This category has the following 2 subcategories, out of 2 total.