Searching for "Note on Conditional Constructivity." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Animating the Semantics of VERILOG using Prolog
- …) \Delta S 1 else S 2 ; \Sigmai ! hS 2 ; \Sigmai: Note that the conditional construct does not introduce…
- Cited by 5 (1 self) – Add To MetaCart
-
An Animatable Operational Semantics of the Verilog Hardware Description Language
- … is executed instead: ¬ EB·(Σ) 〈if (EB)· S1else S2, Σ〉 → 〈S2, Σ〉. Note that the conditional construct does…
- Cited by 3 (2 self) – Add To MetaCart
Showing 1 through 2.
