The following pages link to (Q3327701):
Displaying 7 items.
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Partial evaluation with inference rules (Q1108781) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Executable Relational Specifications of Polymorphic Type Systems Using Prolog (Q2798266) (← links)
- (Q5020649) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
