Various Software that I have Created
Wyvern Programming Language
Java Collections Re-implementations to Respect Various Ownership Disciplines - 2012
Ownership and Immutability Generic Java (OIGJ) - 2010
This initial pre-release supports ownership and immutability, but it is still work in progress. It requires the JSR308 Checkers framework and Java 6 SE SDK to work. Look inside the make folder for the scripts that compile the compiler, run tests, and compile the modified collections supplied.
Immutability Generic Java (IGJ) - 2007
This release supports reference- and object-immutability as described in the FSE2007 paper. It requires Java 6 SE SDK to be installed. To run this jar file use the following command:
java -cp IGJ_v0.1.0.jar;%JAVA_HOME%\lib\tools.jar igj.Main *.java
Where JAVA_HOME points at Java 6 SE SDK installation.
Ownership Generic Java (OGJ - Oh! Gee! Java!) - 2004
This release supports deep ownership, not shallow as v0.3.0 below. On the down side, it still ignores classes without owners. I am working on the best way to support these (manifest in the type system) for the upcoming release. Run this in the same way as v0.3.0 below please.
This release is updated to work with JDK v1.5.0 so that you don't need JSR14 any longer. To run this jar file use the following command:
Where JDK5DISTR points at JDK v1.5.0 installation. Please note that it displays a wrong version number when ran. :-(
First release available to the public. See doc/README for more details.
The Fox Query-Based Debugger - 2002
Fox now contains command line support and various improvements to the code were made, this is still far from final release - sorry, but I have other things pushing on me right now. :-)
This is my latest release. It contains a README file and a fox.jar file. You can simply run the JAR file. Please note that this is still an unofficial early release. It is definetely unstable and has certain important features not implemented. But it is also an improvement on the previous release. ;-)
This is my initial release. It contains a README file and a fox.jar file. You can simply run the JAR file. Please note that this is an unofficial early release. It is definetely unstable and has certain important features not implemented.