1 search result for "tag:"keyword:Dijkstra weakest pre-condition calculus""

Showing 1 - 1
  1. coq-semantics

    No documentation

    A survey of semantics styles, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation
    category:Computer Science/Semantics and Compilation/Semantics keyword:natural semantics keyword:denotational semantics keyword:axiomatic semantics keyword:Hoare logic keyword:Dijkstra weakest pre-condition calculus keyword:abstract interpretation keyword:intervals logpath:Semantics
    Yves Bertot
    8.14.0
    MIT
    Used by 0 other packages
    21 Nov 2021