| 
|
Quote: flavor analysis treats task invocation and return the same as subroutine invocation and return
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
When a task T2 is scheduled inside another … a check can be carried out of the … task T2. Similarly, a wait for a task … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)