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

DOI10.1017/S096012950800697XzbMATH Open1160.68342WikidataQ58203613 ScholiaQ58203613MaRDI QIDQ3545271FDOQ3545271

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)

Cites Work

• An axiomatic basis for computer programming
• CASL reference manual. The complete documentation of the common algebraic specification language.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)