Searching for "On the Formalization of Semantic Conventions." – sorted by Relevance.
3 documents found, showing 1 through 3.
-
unknown title
- … to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description…
- Add To MetaCart
-
The Formalisation of a Hardware Description Language in a Proof System: Motivation and Applications
- … of formal semantics for conventional programming languages [9, 22, 29, 26]. Formal semantics are essential…
- Cited by 6 (2 self) – Add To MetaCart
-
Process Algebra for Discrete Event Simulation
- … of formal semantics in conventional programming languages, as discussed in say 116 [7]. We also want our…
- Cited by 41 (2 self) – Add To MetaCart
Showing 1 through 3.
