[ Agorics Home Page ] [ Technical Library ]
The new Joule Quick Reference (available here in hypertext) provides fast information for the Joule language. Joule embodies a new computational model for building distributed systems.
These are all postscript files and not currently available in hypertext, but they are reasonably quick to download.
This original postscript has been misplaced but the content can be found here.Proving Properties of Instruction-Level Programs--This work-in-progress is a part of the Joule project and describes The Bouncer, a program that statically checks program modules before loading and rejects modules that do not pass specific static checks.
[ Agorics Home Page ] [ Technical Library ]
Last updated: 18 July 2001