scientific article

zbMath0642.68029MaRDI QIDQ3783515

D. I. Sviridenko, Sergei S. Goncharov, Yuri L. Ershov

Publication date: 1987

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

zbMATH Keywords

formal systemsemantic programming

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (8)

On the complexity of formulas in semantic programming ⋮ Conditional terms in semantic programming ⋮ Document models ⋮ Recursive terms in semantic programming ⋮ Locally simple models construction: methodology and practice ⋮ On termination of transactions over semantic document models ⋮ Logical language of description of polynomial computing ⋮ On decidability of list structures

This page was built for publication: