
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.
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
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.
Page 1 from 1 (items total 3)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy