Map
Index
Random
Help
th

QuoteRef: leeEA9_2000

topics > all references > ThesaHelp: references i-l



ThesaHelp:
references i-l
Topic:
atoms and molecules
Topic:
physics
Topic:
quantum electrodynamics
ThesaHelp:
topics a-e
Topic:
special relativity
Group:
science
Topic:
electromagnetic field
Topic:
chemistry
Topic:
light
Group:
type checking
Topic:
proving concurrent programs
Topic:
debugging by usage rules

Reference

Lee, E.A., "What's ahead for embedded software?", Computer, September 2000, pp. 18-26. Google

Quotations
23 ;;Quote: type systems do more than any other formal method to ensure correctness; constrains interface; ensures compatibility
23 ;;Quote: type systems say nothing about concurrency or dynamics; e.g., that initialize happens first, or x() must be invoked every 10 ms


Related Topics up

ThesaHelp: references i-l (342 items)
Topic: atoms and molecules (47 items)
Topic: physics (48 items)
Topic: quantum electrodynamics (34 items)
ThesaHelp: topics a-e (348 items)
Topic: special relativity (73 items)
Group: science   (45 topics, 1840 quotes)
Topic: electromagnetic field (63 items)
Topic: chemistry (11 items)
Topic: light (37 items)
Group: type checking   (12 topics, 385 quotes)
Topic: proving concurrent programs (37 items)
Topic: debugging by usage rules (40 items)

Collected barberCB 9/00
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.