scientific article
From MaRDI portal
Publication:3744163
zbMath0606.03020MaRDI QIDQ3744163
Manfred E. Szabo, Michael M. Richter
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
asymptotic propertiescomputable functionsprogram verificationfinite state machinesprogramsinternal set theoryprocedure termssyntactic characterization of monads
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of computing (68Q99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Other applications of nonstandard models (economics, physics, etc.) (03H10)
Related Items
Recursive programs and denotational semantics in absolute logics of programs ⋮ Total correctness in nonstandard logics of programs ⋮ A simple proof for the completeness of Floyd's method ⋮ On the strength of temporal proofs
