Loading...
Please wait, while we are loading the content...
Machine Assisted Reasoning for Multi -Threaded Java Bytecode
| Content Provider | Semantic Scholar |
|---|---|
| Author | Lagerkvist, Mikael Z. |
| Copyright Year | 2005 |
| Abstract | 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 mem ... |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.diva-portal.org/smash/get/diva2:114295/FULLTEXT01.pdf |
| Alternate Webpage(s) | http://kth.diva-portal.org/smash/get/diva2:114295/FULLTEXT01.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |