An algebraic approach to semantics of programming languages
From MaRDI portal
Publication:1346625
DOI10.1016/0304-3975(94)00022-0zbMath0829.68080OpenAlexW1979584306MaRDI QIDQ1346625
Alexey L. Lastovetsky, Sergey S. Gaissaryan
Publication date: 6 April 1995
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(94)00022-0
Formal languages and automata (68Q45) Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)
Related Items
Cites Work
- A calculus of propositional properties of programs
- Complementary definitions of programming language semantics
- An algebraic approach to semantics of programming languages
- Calculus of equivalences of abstract programs
- Functional systems: Theoretical and practical aspects
- Can programming be liberated from the von Neumann style?
- One View of Man-Machine Interaction
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item