scientific article
From MaRDI portal
Publication:3805933
zbMath0657.68079MaRDI QIDQ3805933
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items
Executable structural operational semantics in Maude ⋮ Computational adequacy of the FIX-logic ⋮ SOS formats and meta-theory: 20 years after ⋮ The definition of Extended ML: A gentle introduction ⋮ Typed generic traversal with term rewriting strategies ⋮ Static semantics, types, and binding time analysis ⋮ Computational interpretations of linear logic ⋮ An overview of the K semantic framework ⋮ Strictness, totality, and non-standard-type inference ⋮ Bi-inductive structural semantics ⋮ Applications of polyhedral computations to the analysis and verification of hardware and software systems ⋮ Constructive design of a hierarchy of semantics of a transition system by abstract interpretation ⋮ Origin tracking
Uses Software
