Aeolus Reference Manual

Download: pdf.

“Aeolus Reference Manual” by Barbara Liskov. MIT technical report MIT-CSAIL-TR-2012-030, Sep. 2012.

Abstract

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}
}

Also see all authors, all publications by date, and all publications by topic.

Programming Methodology Group