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 is a pre-release only. Please contact Alex Potanin if you have any questions or problems. This implementation uses JSR308 annotations available here.

  • oigj20090319.tgz

    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 is a pre-release only. Please contact Alex Potanin if you have any questions or problems. A reimplementation of IGJ using JSR308 annotations is also available here.

  • IGJ_v0.1.0.jar

    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 is a pre-release only. Please contact Alex Potanin if you have any questions or problems. More discussion can be found (and contributed to) on OhGeeJava wiki page.

  • OGJ_v0.3.1.jar

    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.

  • OGJ_v0.3.0.jar

    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:

    	javac -J-Xbootclasspath/p:OGJ_v0.3.0.jar;%JDK5DISTR%\lib\tools.jar
          

    Where JDK5DISTR points at JDK v1.5.0 installation. Please note that it displays a wrong version number when ran. :-(

  • OGJ_v0.2.1.tar.gz

    First release available to the public. See doc/README for more details.

The Fox Query-Based Debugger - 2002

  • Fox v0.9.2

    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. :-)

  • Fox v0.9.1

    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. ;-)

  • Fox v0.9.0

    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.