Pages that link to "Item:Q3763565"

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^* (Q4876361) (← links)
• Observational implementations (Q5096143) (← links)
• A Homage to Martin Wirsing (Q5256328) (← links)
• Localized Operational Termination in General Logics (Q5256340) (← links)