Jeeves Programming Language

Jeeves allows the programmer to separately implement information flow policies (not access control) from other program functionality while relying on the language runtime to produce the correct outputs.

http://projects.csail.mit.edu/jeeves/about.php