/ history

Joule The Great Synthesis

Joule is E's most direct and important ancestor.

From The Joule Manual:

Joule: Distributed Application Foundations

A Reference Aid

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.

The Joule Manual

These are all postscript files and not currently available in hypertext, but they are reasonably quick to download.

Table of Contents

Introduction

Ch. 1 Foundations

Ch. 2 Introductory Example

Ch. 3 Simple Execution Model

Ch. 4 Syntax

Ch. 5 Language Definition

Ch. 6 Hierarchical Accounts Example

Ch. 7 Boundary Foundations

Ch. 8 Security

Ch. 9 Resource Management

Ch. 10 Distribution

Ch. 11 Persistence

Appendix A: Language Comparison

Appendix B: BNF for Joule Syntax

Appendix C: Optional Arguments

Appendix D: Energetic Secrets

Appendix E: Bibliography

Index

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.