Results 121 to 130 of about 2,907 (227)

Automated test oracle generation via denotational semantics

, 2014
This paper presents a formal approach to specifying test oracles in denotational semantics, and bridges the automation between test case generation and software testing.
Zongyan Qiu, Song, Yushu, Qiu, Zongyan, Liang Cao, Hai-Feng Guo, Guo, Hai-Feng, Cao, Liang, Yushu Song   +7 more
core   +1 more source

Context Breeds False Memories for Indeterminate Sentences. [PDF]

Front Psychol, 2021
Riven L, de Almeida RG.
europepmc   +1 more source

Denotational testing semantics in coinductive form

, 2003
Building on recent work by Rutten on coinduction and formal power series, we define a denotational semantics for the CSP calculus and prove it fully abstract for testing equivalence. The proposed methodology allows for abstract definition of operators in
Michele Boreale, Fabio Gadducci, Boreale, Michele, GADDUCCI, FABIO   +3 more
core   +1 more source

Denotational Versus Declarative Semantics For Functional Programming

, 1992
Denotational semantics is the usual mathematical semantics for functional programming languages. It is higher order (H.O.) in the sense that the semantic domain D includes [D ! D] as a subdomain.
Juan Carlos, Hortal Gonzlez, Juan Carlos González Moreno, Mara Teresa, Gonzlez Moreno, Mario Rodríguez Artalejo, Mara Teresa Hortal González   +6 more
core  

A common framework for semantic memory and semantic composition. [PDF]

Imaging Neurosci (Camb)
Law RMC, Lambon Ralph MA, Hauk O.
europepmc   +2 more sources

A literate, executable, denotational semantics of simple C++ declarations

, 1993
Denotational semantics are developed for simple C++ declarations and are implemented in a functional language using a literate programming style. 1 Introduction Computer languages are difficult to learn and understand.
Joseph Reynolds
core  

The Denotational Semantics of View-Centric Reasoning

, 2003
Both Lawrence's [3] and Smith, et al's [6] (an earlier version appears in [5]) extend CSP [1] with representations of truly concurrent events.
Marc Smith Department, Charles E. Hughes, Marc L. Smith, Kyle W. Burke   +3 more
core   +1 more source

Perspectives of semantic modeling in categories

Journal of King Saud University: Computer and Information Sciences
This paper explores the domain of semantic modeling, emphasizing the thoughtful influence of category theory on imperative programming. We aim to present a formal semantics model by seamlessly integrating categorical concepts.
William Steingartner
doaj   +1 more source

A semantic model for the specification of real-time processes [PDF]

A semantic model for developing and justifying specifications of communicating real-time processes is proposed. The semantics is state-based and compositional.
Goswami, Asis, Joseph, Mathai
core  

Exercises in denotational semantics [PDF]

, 1976
K.R. Apt (Krzysztof), J.W. de Bakker (Jaco)   +1 more
openaire   +2 more sources