Essays about: "Mikael Zayenz Lagerkvist"
Found 1 essay containing the words Mikael Zayenz Lagerkvist.
-
1. Machine Assisted Reasoning for Multi-Threaded Java Bytecode
University essay from KTH/Elektronik- och datorsystem, ECSAbstract : In this thesis an operational semantics for a subset of the Java Virtual Machine (JVM) is developed and presented. The subset contains standard operations such as control flow, computation, and memory management. In addition, the subset contains a treatment of parallel threads of execution. READ MORE
Result pages:
1