Calculating with pointers

DOI10.1016/0167-6423(89)90002-6MaRDI QIDQ1822921zbMATH OpenOpenAlexFDO

Authors A. Bijlsma

Publication date 1989

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(89)90002-6

zbMATH Keywords

weakest precondition semanticsverification of program

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Calculating with procedure calls
• Pointer logic for verification of pointer programs
• Mathematics of Program Construction
• scientific article; zbMATH DE number 3917681
• scientific article; zbMATH DE number 1956491

Cited in

(2)

• Formal verification of C systems code. Structured types, separation logic and theorem proving
• Calculating with acyclic and cyclic lists

This page was built for publication: Calculating with pointers

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