Michael J. Tsai. Code Generation for the IOA Language. Master of Engineering Thesis, Massachusetts Institute of Technology, Cambridge, MA, June 2002.
This thesis presents a framework of tools for compiling distributed algorithms written in the IOA language. The target of the compilation is Java code that runs on a network of workstations. The framework includes machinery for matching IOA data types with their implementations and a library of commonly used data type implementations. The interface generator tool produces an auxiliary automaton that connects the algorithm to local sources of I/O. The invocation generator tool assists the user in creating sources of local input. The framework provides two means of resolving nondeterminism: a source-to-source transformer accompanied by user input and a language extension for annotating IOA source files.