| 
|
Quote: flavor and scheduling analysis by comment analysis on data state and operator state expressions; give assumptions and assertions
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
plan-based task scheduling
Quotation Skeleton
Flavor analysis and analysis of scheduling operations in … [p. 76] The state of a program at some … describe a set of data properties that data … occurred when control reaches the location. Comments … can be first or second order. First order … be either assumptions or assertions. Assumptions describe expectations … [(first order only)] summarize changes to its state. Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: an operator state expression in scheduling analysis is the valid operator sequences that can reach a program location Quote: a data state expression in flavor analysis is the set of data properties that objects can have at a program location
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: plan-based task scheduling (13 items)