Map
Index
Random
Help
th

Quote: flavor and scheduling analysis by comment analysis on data state and operator state expressions; give assumptions and assertions

QuoteRef: howdWE1_1990 , p. 75



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

Related Topics up

Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: plan-based task scheduling (13 items)

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