Appears to be a language for automatically enforcing security and privacy policies:
https://projects.csail.mit.edu/jeeves/about.php Will.
_______________________________________________ langsec-discuss mailing list langsec-discuss@mail.langsec.org https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss