Postcondition - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2012-07-03 09:52:39 Data types Type theory Ada Design by contract Subroutine Postcondition Stack Monitor Enumerated type Software engineering Computing Computer programming		Add to Reading List Source URL: www.adacore.com Download Document from Source Website File Size: 1,15 MB Share Document on Facebook

	Demo Rules \|: This is the subroutine symbol, and it only appears on ice. Each symbol marks a single subroutine on a piece of ice. DocID: 1xVp5 - View Document
	EA11 PACKAGE SPECIFICATION HSL ARCHIVE Warning: Subroutine EA11 performs functions which are adequately treated by routines in other DocID: 1vhqi - View Document
	EC06 PACKAGE SPECIFICATION HSL ARCHIVE Warning: Subroutine EC06 performs functions which are adequately treated by routines in other DocID: 1v606 - View Document
	EB09 PACKAGE SPECIFICATION HSL ARCHIVE Warning: Subroutine EB09 performs functions which are adequately treated by routines in other DocID: 1v1qT - View Document
	DA01 PACKAGE SPECIFICATION HSL ARCHIVE Warning: Subroutine DA01 has been superseded by subroutine DC03 which uses improved algorithms; DocID: 1uZsw - View Document