Pages that link to "Item:Q1346625"
From MaRDI portal
The following pages link to An algebraic approach to semantics of programming languages (Q1346625):
Displaying 19 items.
- An algebraically specified language for data directed design (Q751297) (← links)
- The (algebraic) congruence of two programming language definitions (Q913526) (← links)
- An algebraic model of von Neumann programming languages (Q1059999) (← links)
- An algebraic semantics approach to the effective resolution of type equations (Q1093359) (← links)
- A calculus of propositional properties of programs (Q1183798) (← links)
- An algebraic approach to semantics of programming languages (Q1346625) (← links)
- An abstract compiler model as a result of the algebraic semantics of a programming language (Q1774306) (← links)
- Base-type languages: Program design by upper semantic approximation (Q1905185) (← links)
- Translation of algebraic programs into executable codes (Q2508826) (← links)
- (Q3347253) (← links)
- Programming Denotational Semantics II (Q3687684) (← links)
- On the algebraic definition of programming languages (Q3763565) (← links)
- (Q3809233) (← links)
- (Q3829053) (← links)
- (Q4346205) (← links)
- Approximation of abstract semantics by formal models of programs (Q4522757) (← links)
- Semantics-to-Syntax Analyses of Algorithms (Q4637221) (← links)
- (Q4782109) (← links)
- Towards a theory of semantics and compilers for programming languages (Q5402521) (← links)