Download LINK JAVA 7 Free Java Code

Description

LINK framework for Java 1.7. LINK is an experimental lightweight framework which aims to increase the likelyhood of producing correct applications. This is achieved by forming computation chains, inspired by Floyd Hoare and Propositional Logic, in which.

Source Files

The download file LINK_JAVA_7-master.zip has the following entries.


.classpath/*  w w  w  .j a va  2 s.  c om*/
.project
.settings/org.eclipse.jdt.core.prefs
README.md
bin/link/common/BaseState.class
bin/link/common/Config.class
bin/link/common/ExclusiveOR.class
bin/link/common/Machine.class
bin/link/common/PropositionXOR.class
bin/link/common/ThrowableXOR.class
bin/link/common/Utils.class
bin/link/common/test/IntegerBaseState.class
bin/link/common/test/Main.class
bin/link/common/test/TestMachine$1.class
bin/link/common/test/TestMachine$2.class
bin/link/common/test/TestMachine$3.class
bin/link/common/test/TestMachine$NPEext.class
bin/link/common/test/TestMachine.class
license/LICENSE.txt
license/gpl.txt
src/link/common/BaseState.java
src/link/common/Config.java
src/link/common/ExclusiveOR.java
src/link/common/Machine.java
src/link/common/PropositionXOR.java
src/link/common/ThrowableXOR.java
src/link/common/Utils.java
src/link/common/test/IntegerBaseState.java
src/link/common/test/Main.java
src/link/common/test/TestMachine.java