scientific article

zbMath0628.68011MaRDI QIDQ3765226

Michał Grabowski

Publication date: 1985

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

relative completenesstotal correctnessexpressive interpretationsacceptable programming languageweakly arithmetic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Arithmetical completeness versus relative completeness ⋮ On the status of proving program properties in effective interpretations ⋮ Reasoning about procedures as parameters in the language L4

This page was built for publication: