Apollo: an interpreter for System F with subtyping and information flow.

  http://www.cis.upenn.edu/~stse/apollo/


Stephen Tse <stse@cis.upenn.edu>
2005-05-14


** TIPS

- read 'test/*.p' for examples

- read 'test/eg-bank.pp' for a banking example

- read 'apollo.s' for its syntax specification

- put \ (a compiler escape) before any subexpression for
  printing debugging information during typing and evaluation;
  try 'make apollo && ./apollo test/escape.p'

- run 'make check' for regression testing



** TODO

- kind system (types, labels, principals, privileges)


** REFERENCES

Run-time principals in information-flow type systems
Stephen Tse and Steve Zdancewic
IEEE Symposium on Security and Privacy (SP), 2004 

Designing a security-typed language with certificate-based declassification
Stephen Tse and Steve Zdancewic
European Symposium on Programming (ESOP), 2005