| 
|
Quote: safety check recursive programs by using the induction-iteration method to synthesize invariant entry conditions; not implemented
topics >
all references >
references t-z >
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
To simplify matters, our present [safety checking] system detects … conditions for recursive functions as we do for … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)