Pages that link to "Item:Q5402521"
From MaRDI portal
The following pages link to Towards a theory of semantics and compilers for programming languages (Q5402521):
Displaying 6 items.
- An abstract compiler model as a result of the algebraic semantics of a programming language (Q1774306) (← links)
- A Theoretical Foundation for Programming Languages Aggregation (Q2787336) (← links)
- Mechanized semantics (Q3060983) (← links)
- Toward complete programming language descriptions that are both formal and understandable (Q3314961) (← links)
- (Q3340184) (← links)
- (Q4292826) (← links)