[ 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.
Table of
Contents (33k)
Introduction
(33k)
Ch. 1
Foundations (47k)
Ch. 2
Introductory Example (63k)
Ch. 3
Simple Execution Model (26k)
Ch. 4
Syntax (38k)
Ch. 5
Language Definition (109k)
Ch. 6
Hierarchical Accounts Example (62k)
Ch. 7
Boundary Foundations (18k)
Ch. 8
Security (37k)
Ch. 9
Resource Management (22k)
Ch. 10
Distribution (23k)
Ch. 11
Persistence (17k)
Appendix
A: Language Comparison (21k)
Appendix
B: BNF for Joule Syntax (24k)
Appendix
C: Optional Arguments (21k)
Appendix
D: Energetic Secrets (31k)
Appendix
E: Bibliography (47k)
Index
(43k)
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