Frame rules from answer types for code pointers

DOI10.1145/1111037.1111065zbMath1369.68159OpenAlexW2164078934MaRDI QIDQ5348932

Hayo Thielecke

Publication date: 21 August 2017

Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1111037.1111065

zbMATH Keywords

polymorphismHoare logiccontinuationstyped assembly languagecode pointers

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Reasoning about B+ Trees with Operational Semantics and Separation Logic