Mathematics of Program Construction

DOI10.1007/B98756zbMATH Open1106.68346OpenAlexW2492557863MaRDI QIDQ5313095

Birgit Schieder

Publication date: 26 August 2005

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Title not available (Why is that?) 👍 👎
• Computing With a Fixed Number of Pointers (Invited Talk). 👍 👎
• Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors 👍 👎
• Pure Pointer Programs and Tree Isomorphism 👍 👎
• Pointers and Records in the Unifying Theories of Programming 👍 👎
• A Theory of Pointers for the UTP 👍 👎
• A fine-grained semantics for arrays and pointers under weak memory models 👍 👎

This page was built for publication: Mathematics of Program Construction

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