Pages that link to "Item:Q2787336"
From MaRDI portal
The following pages link to A Theoretical Foundation for Programming Languages Aggregation (Q2787336):
Displaying 4 items.
- A language-independent proof system for full program equivalence (Q510898) (← links)
- Composing programming languages by combining action-semantics modules. (Q1872749) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- Operationally-based program equivalence proofs using LCTRSs (Q6052946) (← links)