scientific article

zbMath0584.68049MaRDI QIDQ3707398

Robert D. Tennent

Publication date: 1985

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

zbMATH Keywords

intuitionistic theorypossible-world semanticsprogramming logicHoare triplesAlgol 60-like programming languages with procedureslogic for reasoning about programsmany-sorted first-order theory

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (2)

Semantical analysis of specification logic ⋮ Kripke-style models for typed lambda calculus

This page was built for publication: