Synchronized Shared Memory and Procedural Abstraction: Towards a Formal Semantics of Blech.

Friedrich Gretz, Franz-Josef Grosch, Michael Mendler, Stephan Scheele

Browse the full FDL paper archive.