Executable component-based semantics

van Binsbergen, LT; Mosses, PD; Sculthorpe, N

van Binsbergen, LT (reprint author), Royal Holloway Univ London, Dept Comp Sci, Egham TW20 0EX, Surrey, England.

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019; 103 (): 184

Abstract

The potential benefits of formal semantics are well known. However, a substantial amount of work is required to produce a complete and accurate formal......

Full Text Link