Browse Dept. of Computer Science by Subject "abstract machine"
Now showing items 1-1 of 1
(2010-02-05)K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, computations and rules. Configurations organize ...