| 
|
Quote: contracts in terms of observables; i.e., time-varying, objective measurements; e.g., temperature in LA
topics >
all references >
references i-l >
Topic:
formal methods and languages
Topic:
names as abbreviations for descriptions
Quotation Skeleton
A real contract often mentions quantities that are … The temperature in Los Angeles can be objectively … Observables are thus a different "kind of thing" … In general, a value of type Obs d … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: formal methods and languages (53 items)
Topic: names as abbreviations for descriptions (35 items)