scientific article
From MaRDI portal
Publication:3745258
zbMath0606.68016MaRDI QIDQ3745258
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
partial correctnessHoare Logichigher type recursionfinitely typed lambda terms with fixed pointsfirst order oracleprogramming language with functions
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Higher-type and set recursion theory (03D65)
Related Items (3)
Complexity of proving program correctness ⋮ Semantics and reasoning with free procedures ⋮ Reasoning about procedures as parameters in the language L4
This page was built for publication:
