An algorithmic programming language approach to system design enables design, synthesis, and validation of structured, system-level specifications, and integrates system-level design into the rest of the design process. The algorithmic programming language design approach includes various techniques...http://www.google.com/patents/US6701501?utm_source=gb-gplus-sharePatent US6701501 - Structured algorithmic programming language approach to system design