| 
|
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 >
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.
Topic: recursive data structures (18 items)
Group: derived data types (9 topics, 119 quotes)