Map
Index
Random
Help
th

Quote: with typestate checking can not initialize an object in only one branch of a conditional

topics > all references > references sa-sz > QuoteRef: stroRE1_1986 , p. 162



Topic:
flavor analysis and typestates for supplementary type checking

Quotation Skeleton

The requirement of typestate invariance constrains the programmer, … (e.g., an IF statement whose THEN clause …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: flavor analysis and typestates for supplementary type checking (68 items)

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