Map
Index
Random
Help
th

Quote: ESP supports record, union, and array data types; ESP does not support recursive data types; no model checker, more expensive to communicate

topics > all references > references i-l > QuoteRef: kumaS6_2002 , p. 247



Topic:
recursive data structures
Group:
derived data types

Quotation Skeleton

ESP supports mutable and immutable versions of complex … two reasons. First, specification languages for model checkers … run-time overhead.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: recursive data structures (18 items)
Group: derived data types   (9 topics, 119 quotes)

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