Calculating with pointers

DOI10.1016/0167-6423(89)90002-6zbMath0679.68010OpenAlexW2132058442MaRDI QIDQ1822921

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

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

Related Items (1)

Formal verification of C systems code. Structured types, separation logic and theorem proving

This page was built for publication: Calculating with pointers