| 
|
Quote: sequential execution is function composition; a neat, simple model with deterministic results
Group:
program proving
Topic:
semantics by an abstract machine
Topic:
proving concurrent programs
Quotation Skeleton
Sequential execution is, semantically, function composition--a neat, simple … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 311 quotes)
Topic: semantics by an abstract machine (38 items)
Topic: proving concurrent programs (37 items)