Details of Link
 
 
TITLE
  DBC 
SUBTITLE
  Limited design-by-contract support 
DESCRIPTION
  Uses camlp4 to provide a way to write functions with mandatory pre- and post- condition tests. 
AUTHOR
  Shawn Wagner 
AUTHOR'S LINK
  http://raevnos.pennmush.org 
COAUTHOR
   
COAUTHOR'S LINK
   
CLASSIFICATION
  OCaml syntax extension 
RELEASE
  1.0.0 
STABILITY
  stable code 
STABLE RELEASE
   
RECENT CHANGES
   
DEPENDS ON OCAML VERSION
  3.04, or possibly older versions if camlp4 is installed 
DEPENDS ON OPERATING SYSTEM
   
DEPENDS ON OTHER SOFTWARE
   
INFO LINK
  http://raevnos.pennmush.org/code/ocaml.html 
DOWNLOAD LINK
  http://raevnos.pennmush.org/code/ocaml.html 
DATE OF LAST MODIFICATION
  24 Apr 2002 


Navigation: [Sort by date] [Sort by author] [Sort by title] [Sort by classification] [New author] [Login]