Pages that link to "Item:Q3763565"
From MaRDI portal
The following pages link to On the algebraic definition of programming languages (Q3763565):
Displaying 14 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A theory of binding structures and applications to rewriting (Q685380) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- Observational implementation of algebraic specifications (Q911245) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- A semi-algorithm for algebraic implementation proofs (Q1199928) (← links)
- A theory for program and data type specification (Q1199933) (← links)
- Constructing specification morphisms (Q1322845) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- (Q3773301) (← links)
- An algebraic approach to formalization of object-orientation<sup>*</sup> (Q4876361) (← links)
- Observational implementations (Q5096143) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)
- Localized Operational Termination in General Logics (Q5256340) (← links)