| 
|
Quote: Thesa abstracts state transition semantics by names and definitions
topics >
all references >
references c-d >
Topic:
Thesa as a database of modules
Note
a Purna procedure is a static spatial representation, i.e., a sequence of state transitions on some machine. So Purna abstracts out state transitions semantics into expansion semantics
Topic: Thesa as a database of modules (23 items)