p

promises

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.
http://surelogic.com/promises
The Apache Software License, Version 2.0
Surelogic, Inc.
Tim Halloran Nathan Boy Edwin Chan Aaron Greenhouse
limited typically scope programmer constrains constraint express supra targets programs promise provides linguistic code meaning intent evolution models that formal implementation promises modular necessary java each annotations also precise design
Aggregated version Version Update time
5.0 5.0.0 Nov 01, 2013
4.4 4.4.0 Dec 12, 2012
4.3 4.3.1 Jul 02, 2012
4.3.0 Jun 07, 2012
4.0 4.0.3 Apr 13, 2012
4.0.2 Sep 14, 2011
4.0.1 Aug 31, 2011
4.0.0 Aug 09, 2011
3.2 3.2.2 Jan 11, 2011
3.2.1 May 12, 2010
3.1 3.1.0 Dec 12, 2009
3.0 3.0.0 Nov 05, 2009
12 Records