scientific article; zbMATH DE number 4185042

zbMATH Open0718.68051MaRDI QIDQ5750409FDOQ5750409

Authors: Valéria Novitzka 

Publication date: 1989

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

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

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)

Cited In (4)

• Algebraic semantics of the modeling language AML
• Title not available (Why is that?)
• ANNA. A language for annotating Ada programs. Reference manual
• Title not available (Why is that?)

Uses Software

• Ada95
• ANNA

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)