Typed assembly languages have been designed to ensure safety on low-level code, avoiding the dynamic loading of erroneous code, generated by unreliable compilers, thus compromising the correct behavior of virtual machines and processors. Among the most challenging errors to detect are errors related to concurrent behaviors and thread synchronization. We present a typed intermediate language for a stack-based virtual machine, comprising a primitive object model and native support for concurrency. By using primitives to deal with concurrency, we establish a more abstract level where it is possible to represent and enforce a linear discipline on thread values, and pave the way for more sophisticated type based aliasing and concurrency analyses.
|Title of host publication||Proceedings of the ACM Symposium on Applied Computing|
|Publication status||Published - 1 Jan 2013|
|Event||28th Annual ACM Symposium on Applied Computing - |
Duration: 1 Jan 2013 → …
|Conference||28th Annual ACM Symposium on Applied Computing|
|Period||1/01/13 → …|