scientific article
From MaRDI portal
Publication:3761675
zbMath0623.68015MaRDI QIDQ3761675
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
aliasingFull abstractionsharinglocationsabstract sharing relation on identifiersaxiomatic proof system for partial correctness
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Recursive programs and denotational semantics in absolute logics of programs, A Theory of Pointers for the UTP
