scientific article; zbMATH DE number 3913660

MaRDI QIDQ3690201zbMATH OpenFDO

Authors

Publication date 1984

zbMATH Keywords

assignment statementsdynamic expressionsheterogeneous algebraHoare-like axiomprogramming languagespseudo-variablesside effectssubscripted variables

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3936482
• scientific article; zbMATH DE number 3854393
• An algebraic approach to semantics of programming languages
• One method of defining the semantics of programming language constructs in terms of lambda calculus. II
• Predicative programming Part II

Cited in

(3)

• Side effects and aliasing can have simple axiomatic descriptions
• scientific article; zbMATH DE number 3936482 (Why is no real title available?)
• scientific article; zbMATH DE number 3894445 (Why is no real title available?)

Describes a project that uses

Uses Software

• ALGOL 68

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3690201)