| 
|
Quote: type systems say nothing about concurrency or dynamics; e.g., that initialize happens first, or x() must be invoked every 10 ms
topics >
all references >
references i-l >
Group:
type checking
Topic:
proving concurrent programs
Topic:
debugging by usage rules
Quotation Skeleton
The disadvantage for embedded software is that type … concurrency or dynamics. … For example, calling the initialize() method before the … must be invoked every 10 ms) are also … Google-1 Google-2
Copyright clearance needed for quotation.
Group: type checking (12 topics, 385 quotes)
Topic: proving concurrent programs (37 items)
Topic: debugging by usage rules (40 items)