Searching for "Semantics of Order-Sorted Specifications." – sorted by Relevance.
-
Termination of Order-Sorted Rewriting
- like OBJ3 [GW88], order-sorted specifications have an operational semantics based on rewriting. One
- Add To MetaCart

