Searching for "Extended Natural Semantics." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
BY
- … are specified using extended natural semantics rules. The central work of the thesis is in two parts: first, a…
- Add To MetaCart
-
Using Many-Sorted Natural Semantics to Specify and Generate Semantic Analysis
- … and completeness can be defined formally. Our approach extends the framework of natural semantics so…
- Cited by 5 (4 self) – Add To MetaCart
-
The Definition of Extended ML
- … [BHW94]. 1.2 Metalanguage The semantics of Extended ML is presented in a style known as Natural…
- Cited by 9 (4 self) – Add To MetaCart
-
A Logical Framework For Reasoning About Logical Specifications
- …. The use of universal quantification has been considered in the extended natural semantics [23…
- Cited by 18 (7 self) – Add To MetaCart
Showing 1 through 4.
