On the interpretation of mathematical entities in the formalisation of programming and modelling languages

DOI10.1017/S096012950800697XMaRDI QIDQ3545271zbMATH OpenWikidataFDO

Authors José M. Cañete-Valdeón

Publication date 10 December 2008

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Formal models for some features of programming languages
• Games in the semantics of programming languages -- an elementary introduction
• scientific article; zbMATH DE number 4197450
• Metamathematical fundamental concepts of computer programming
• scientific article; zbMATH DE number 4049611

Cites work

• scientific article; zbMATH DE number 986407 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 53772 (Why is no real title available?)
• scientific article; zbMATH DE number 1042220 (Why is no real title available?)
• An axiomatic basis for computer programming
• CASL reference manual. The complete documentation of the common algebraic specification language.

This page was built for publication: On the interpretation of mathematical entities in the formalisation of programming and modelling languages

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