scientific article; zbMATH DE number 4185042

MaRDI QIDQ5750409zbMATH OpenFDO

Authors Valéria Novitzka

Publication date 1989

zbMATH Keywords

denotational semanticsalgebraic specificationheterogeneous algebrasabstract date typesannotated ada

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 48539
• ANNA. A language for annotating Ada programs. Reference manual
• scientific article; zbMATH DE number 3864473
• scientific article; zbMATH DE number 3956413
• scientific article; zbMATH DE number 4080876

Cited in

(4)

• Algebraic semantics of the modeling language AML
• scientific article; zbMATH DE number 4080876 (Why is no real title available?)
• ANNA. A language for annotating Ada programs. Reference manual
• scientific article; zbMATH DE number 48539 (Why is no real title available?)

Describes a project that uses

Uses Software

• ANNA
• Ada95

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 Q5750409)