Download: pdf.
“Aeolus Reference Manual” by Barbara Liskov. MIT technical report MIT-CSAIL-TR-2012-030, Sep. 2012.
This document describes the interface that the Aeolus information flow platform provides for users who are implementing applications using Java. The document explains how the Aeolus features are made available by means of a Java library.
Download: pdf.
BibTeX entry:
@techreport{liskov12aeolus, author = {Barbara Liskov}, title = {Aeolus Reference Manual}, institution = {MIT}, number = {MIT-CSAIL-TR-2012-030}, month = sep, year = {2012} }
Programming Methodology Group