An algebraic approach to the syntax and semantics of languages with subscripted variables
From MaRDI portal
Publication:1053444
DOI10.1007/BF02109372zbMath0517.68029MaRDI QIDQ1053444
Publication date: 1984
Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)
substitutions; conditional expressions; semantics of indexing; subscripted variable; two-sorted partial Peano-algebras
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
08A55: Partial algebras
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Partial morphisms on partial algebras
- Assignment and Procedure Call Proof Rules
- Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs"
- Initial Algebra Semantics and Continuous Algebras
- Reasoning about arrays
- On the completion of partial algebras
- Algebras with a Scheme of Operators