Results 141 to 150 of about 11,768 (185)

V. In Defence of a Denotational Theory of Semantics

, 1972
Jan Mulder, S. G. Hervey
openalex   +1 more source

From Environment Specifications to Multi-Agent Systems: A Hoare-Style Refinement Method with Denotational Semantics

Michael Hoche
openalex   +1 more source

Denotational semantics of an object-oriented programming language with explicit wrappers [PDF]

, 1993
Andreas V. Hense
openalex   +1 more source

DB Category: Denotational Semantics for View-based Database Mappings [PDF]

, 2011
Zoran Majkić
openalex   +1 more source

Compositional relaxed concurrency. [PDF]

Philos Trans A Math Phys Eng Sci, 2017
Batty M.
europepmc   +1 more source

A Denotational Semantics for Handel-C [PDF]

, 2007
Andrew Butterfield
openalex   +1 more source