Jacaranda logo (a Jacaranda tree seedling about 10 days after germination)

Welcome to the web site for Jacaranda, a subset of JavaScript designed to support object-capability security.

The language is implemented as a verifier written in Java using the ANTLR parser generator. It will also rewrite programs in a slightly larger JavaScript subset to Jacaranda, reducing the amount of manual work that has to be done to port code. There have been some delays in releasing an implementation, but we hope to do that soon.

There is a Google group, . Feel free to subscribe and ask questions there.

The current draft language specification is version 0.46. It is a very dense read; we haven't written a tutorial yet.

For language-development geeks, here are some earlier drafts of the specification: 0.2, 0.3, 0.39, 0.4, 0.41, 0.42, 0.43, 0.44, 0.45.

JavaDoc documentation for the verifier API is here. This is likely to be unenlightening unless you're actually planning to embed the verifier in other software.



Jacaranda seedling image © 2007 Cole Shatto.
Other web site content © 2008-2009 David-Sarah Hopwood.
Valid HTML 4.01 Transitional