Map
Index
Random
Help
th

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 > QuoteRef: leeEA9_2000 , p. 23



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.


Related Topics up

Group: type checking   (12 topics, 385 quotes)
Topic: proving concurrent programs (37 items)
Topic: debugging by usage rules (40 items)

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