scientific article; zbMATH DE number 3913660

zbMATH Open0572.68016MaRDI QIDQ3690201FDOQ3690201

Authors:

Publication date: 1984

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

programming languagesheterogeneous algebraside effectsassignment statementsdynamic expressionsHoare-like axiompseudo-variablessubscripted variables

Mathematics Subject Classification ID

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

Cited In (3)

• Side effects and aliasing can have simple axiomatic descriptions
• Title not available (Why is that?)
• Title not available (Why is that?)

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)