ECOOP 2005 -- object-oriented programming. 19th European conference, Glasgow, UK, July 25--29, 2005. Proceedings

DOI10.1007/11531142MaRDI QIDQ6619487zbMATH OpenFDO

Authors

Publication date 15 October 2024

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11531142

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited in

(3)

• The HOL-CSP Refinement Toolkit
• HOL-CSP Version 2.0
• A Sound Type System for Physical Quantities, Units, and Measurements

This page was built for publication: ECOOP 2005 -- object-oriented programming. 19th European conference, Glasgow, UK, July 25--29, 2005. Proceedings

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