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

Back to PMG Aeolus publications .

Programming Methodology Group