Map
Index
Random
Help
th

Quote: in NIL, module definitions include typestate transitions for parameters; allowed independent development

topics > all references > references sa-sz > QuoteRef: stroRE5_1985 , p. 169 NIL:



Topic:
flavor analysis and typestates for supplementary type checking
Topic:
type-safe and secure languages
Topic:
interface between program modules
ThesaHelp:
lost quotations

Quotation Skeleton

The use of interface definition modules which documented … to work independently, relying on the compiler to … developed by others.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: type-safe and secure languages (42 items)
Topic: interface between program modules (55 items)
ThesaHelp: lost quotations (15 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.