scientific article
From MaRDI portal
Publication:3996676
zbMath0751.68036MaRDI QIDQ3996676
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68N99)
Related Items (14)
Synthesis of positive logic programs for checking a class of definitions with infinite quantification ⋮ Normal design algebra ⋮ A relation algebraic model of robust correctness ⋮ Deaccumulation techniques for improving provability ⋮ A fast pattern matching algorithm derived by transformational and assertional reasoning ⋮ A survey of strategies in rule-based program transformation systems ⋮ Modelling higher-order dual nondeterminacy ⋮ Assertions and recursions ⋮ Optimizing the stack size of recursive functions ⋮ Totally correct logic program transformations via well-founded annotations ⋮ Calculating modules in contextual logic program refinement ⋮ An algebraic approach to population-based evolutionary algorithm generation ⋮ Constructing specification morphisms ⋮ OBSCURE, a specification language for abstract data types
This page was built for publication:
