| 
|
Quote: in NIL, module definitions include typestate transitions for parameters; allowed independent development
topics >
all references >
references sa-sz >
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.
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)