scientific article; zbMATH DE number 1543051

MaRDI QIDQ4520504zbMATH OpenFDO

Authors Philipp W. Kutter, Alfonso Pierantonio

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_5/specification_oberon

zbMATH Keywords

formal specificationOberon

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 44613
• scientific article; zbMATH DE number 1543048
• Publication:4728223
• Operational ontological approach to formal programming language specification
• scientific article; zbMATH DE number 1262881

Cited in

(17)

• OBSCURE, a specification language for abstract data types
• Towards proving type safety of \(\mathrm{C}^{\#}\)
• scientific article; zbMATH DE number 1630102 (Why is no real title available?)
• scientific article; zbMATH DE number 4151807 (Why is no real title available?)
• Formatted syntaxes and modula-2
• scientific article; zbMATH DE number 4005581 (Why is no real title available?)
• The programming language oberon
• scientific article; zbMATH DE number 8786 (Why is no real title available?)
• scientific article; zbMATH DE number 44613 (Why is no real title available?)
• scientific article; zbMATH DE number 58286 (Why is no real title available?)
• scientific article; zbMATH DE number 2064460 (Why is no real title available?)
• scientific article; zbMATH DE number 1487939 (Why is no real title available?)
• scientific article; zbMATH DE number 1497775 (Why is no real title available?)
• scientific article; zbMATH DE number 1543048 (Why is no real title available?)
• scientific article; zbMATH DE number 4003496 (Why is no real title available?)
• Operational ontological approach to formal programming language specification
• Towards proving type safety of .NET CIL

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