Download LINK JAVA 8 LAMBDA Free Java Code

Description

LINK framework for Java 1.8. 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_8_LAMBDA-master.zip has the following entries.


.idea/.name/*from   w w w  . j ava 2 s. c  o  m*/
.idea/compiler.xml
.idea/copyright/profiles_settings.xml
.idea/encodings.xml
.idea/misc.xml
.idea/modules.xml
.idea/scopes/scope_settings.xml
.idea/uiDesigner.xml
.idea/vcs.xml
.idea/workspace.xml
LINK_JAVA8.iml
LINK_JAVA_8_LAMBDA.iml
README.md
hs_err_pid2368.log
hs_err_pid6480.log
hs_err_pid6824.log
hs_err_pid7148.log
license/LICENSE.txt
license/gpl.txt
out/production/LINK_JAVA8/ControlFlow.class
out/production/LINK_JAVA8/Main.class
out/production/LINK_JAVA8/Proposition.class
out/production/LINK_JAVA8/ThrowableP.class
out/production/LINK_JAVA8/Unit.class
out/production/LINK_JAVA_8/Action.class
out/production/LINK_JAVA_8/BaseState.class
out/production/LINK_JAVA_8/Machine.class
out/production/LINK_JAVA_8/Main.class
out/production/LINK_JAVA_8/Message.class
out/production/LINK_JAVA_8/Proposition.class
out/production/LINK_JAVA_8/TestMachine.class
out/production/LINK_JAVA_8/TestState.class
out/production/LINK_JAVA_8/ThrowableP.class
out/production/LINK_JAVA_8/Unit.class
out/production/LINK_JAVA_8/Utils.class
out/production/LINK_JAVA_8_LAMBDA/common/Action.class
out/production/LINK_JAVA_8_LAMBDA/common/Config.class
out/production/LINK_JAVA_8_LAMBDA/common/FastPriorityActionQueue.class
out/production/LINK_JAVA_8_LAMBDA/common/Machine$NotCompleteException.class
out/production/LINK_JAVA_8_LAMBDA/common/Machine$NotSoundException.class
out/production/LINK_JAVA_8_LAMBDA/common/Machine.class
out/production/LINK_JAVA_8_LAMBDA/common/Proposition.class
out/production/LINK_JAVA_8_LAMBDA/common/State.class
out/production/LINK_JAVA_8_LAMBDA/common/Utils.class
out/production/LINK_JAVA_8_LAMBDA/test/algotrading/LimitOrderMachine.class
out/production/LINK_JAVA_8_LAMBDA/test/algotrading/LimitOrderState$Direction.class
out/production/LINK_JAVA_8_LAMBDA/test/algotrading/LimitOrderState.class
out/production/LINK_JAVA_8_LAMBDA/test/algotrading/marketdata/MarketDataFeedState.class
out/production/LINK_JAVA_8_LAMBDA/test/algotrading/marketdata/Tick$Type.class
out/production/LINK_JAVA_8_LAMBDA/test/algotrading/marketdata/Tick.class
out/production/LINK_JAVA_8_LAMBDA/test/doorlock/Door.class
out/production/LINK_JAVA_8_LAMBDA/test/doorlock/DoorLockMachine.class
out/production/LINK_JAVA_8_LAMBDA/test/doorlock/DoorLockState.class
out/production/LINK_JAVA_8_LAMBDA/test/doorlock/Key.class
out/production/LINK_JAVA_8_LAMBDA/test/doorlock/Lock.class
out/production/LINK_JAVA_8_LAMBDA/test/doorlock/TestDoorLockMachine$DoorLockPriority.class
out/production/LINK_JAVA_8_LAMBDA/test/doorlock/TestDoorLockMachine.class
out/production/LINK_JAVA_8_LAMBDA/test/doorlock/TestMessageQueueOrdering.class
out/production/untitled/Main$F.class
out/production/untitled/Main.class
src/common/Action.java
src/common/Config.java
src/common/FastPriorityActionQueue.java
src/common/Machine.java
src/common/Proposition.java
src/common/State.java
src/common/Utils.java
src/test/algotrading/LimitOrderMachine.java
src/test/algotrading/LimitOrderState.java
src/test/algotrading/marketdata/MarketDataFeedState.java
src/test/algotrading/marketdata/Tick.java
src/test/doorlock/Door.java
src/test/doorlock/DoorLockMachine.java
src/test/doorlock/DoorLockState.java
src/test/doorlock/Key.java
src/test/doorlock/Lock.java
src/test/doorlock/TestDoorLockMachine.java
src/test/doorlock/TestMessageQueueOrdering.java

Download

Click the following link to download LINK_JAVA_8_LAMBDA-master.zip.

LINK_JAVA_8_LAMBDA-master.zip