All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download promises JAR file with all dependencies


promises from group org.bidib.com.surelogic (version 5.6.0)

Provides the annotations necessary to express models of programmer design intent in Java code. Promises are supra-linguistic formal annotations to programs. Each promise has a precise meaning and constrains the implementation and evolution of the code it targets. Promises are also (typically) modular, meaning that the implementation constraint on the code of a promise is limited in scope.

Group: org.bidib.com.surelogic Artifact: promises
Show documentation Show source 
Download promises.jar (5.6.0)
 

24 downloads
Artifact promises
Group org.bidib.com.surelogic
Version 5.6.0


promises from group com.surelogic (version 3.2.1)

Provides the annotations necessary to express models of programmer design intent in Java code. Promises are supra-linguistic formal annotations to programs. Each promise has a precise meaning and constrains the implementation and evolution of the code it targets. Promises are also (typically) modular, meaning that the implementation constraint on the code of a promise is limited in scope.

Group: com.surelogic Artifact: promises
There is no JAR file uploaded. A download is not possible! Please choose another version.
1 downloads
Artifact promises
Group com.surelogic
Version 3.2.1


promises from group com.surelogic (version 5.0.0)

Provides the annotations necessary to express models of programmer design intent in Java code. Promises are supra-linguistic formal annotations to programs. Each promise has a precise meaning and constrains the implementation and evolution of the code it targets. Promises are also (typically) modular, meaning that the implementation constraint on the code of a promise is limited in scope.

Group: com.surelogic Artifact: promises
Show documentation Show source 
Download promises.jar (5.0.0)
 

0 downloads
Artifact promises
Group com.surelogic
Version 5.0.0




Page 1 from 1 (items total 3)


© 2015 - 2025 Weber Informatics LLC | Privacy Policy