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

Download org.bidib.com.surelogic JAR files 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




Page 1 from 1 (items total 1)


© 2015 - 2025 Weber Informatics LLC | Privacy Policy