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

DOI10.1017/S096012950800697XzbMATH Open1160.68342WikidataQ58203613 ScholiaQ58203613MaRDI QIDQ3545271FDOQ3545271

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

Publication date: 10 December 2008

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• An axiomatic basis for computer programming
• Title not available (Why is that?)
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Title not available (Why is that?)

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)