An algebraic approach to the syntax and semantics of languages with subscripted variables

DOI10.1007/BF02109372zbMath0517.68029MaRDI QIDQ1053444

Rolf Hartwig

Publication date: 1984

Published in: Periodica Mathematica Hungarica (Search for Journal in Brave)

zbMATH Keywords

substitutionsconditional expressionssemantics of indexingsubscripted variabletwo-sorted partial Peano-algebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Partial algebras (08A55)

Related Items (1)

Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations

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

This page was built for publication: An algebraic approach to the syntax and semantics of languages with subscripted variables