The following pages link to (Q3707343):
Displaying 13 items.
- An algebraic approach to schemes of structured programs (Q795496) (← links)
- An algebraic model of von Neumann programming languages (Q1059999) (← links)
- A calculus of propositional properties of programs (Q1183798) (← links)
- An algebraic approach to semantics of programming languages (Q1346625) (← links)
- Algebraic composition of function tables (Q1586167) (← links)
- Algebraic and logic programming. International workshop, Gaussig, GDR, November 14-18, 1988. Proceedings (Q1801227) (← links)
- Program algebra with unit instruction operators (Q1858433) (← links)
- On the algebra of disjoint alternatives (Q1915884) (← links)
- Towards a linear algebra of programming (Q1941862) (← links)
- Translation of algebraic programs into executable codes (Q2508826) (← links)
- Program algebra and coprogram calculus (Q2752047) (← links)
- Program algebra over an algebra (Q2852174) (← links)
- Algebras of stepping motor programs (Q2898508) (← links)