Results 131 to 140 of about 5,812 (235)

Semantics of programming languages [PDF]

, 2010
In these lecture notes we present a few basic approaches to the definition of the semantics of programming languages. In particular, we present: (i) the operational semantics and the axiomatic semantics for a simple imperative language, and (ii) the ...
Pettorossi, A, PETTOROSSI, ALBERTO
core  

Verifying Objects Against Axiomatic Specifications: A Fixpoint Approach

, 1998
Behavioral specifications of objects, modules, and data types can be defined by relations, which can in turn be represented by axiomatic systems. These axiomatic systems define the relation at hand by induction on the complexity of the invocation history
J. Desharnais, M. Frappier, A. Mili, F. Mili   +3 more
core  

Semantics of programming languages. Third Edition

, 2016
In these lecture notes we present a few basic approaches to the definition of the semantics of programming languages. In particular, we present: (i) the operational semantics and the axiomatic semantics for a simple imperative language, and (ii) the ...
Pettorossi, A, PETTOROSSI, ALBERTO
core  

UML 2 Semantics and Applications

, 2009
A coherent and integrated account of the leading UML 2 semantics work and the practical applications of UML semantics development With contributions from leading experts in the field, the book begins with an introduction to UML and goes on to offer in ...
Lano, Kevin
core  

On the correlation between semantics and syntax

Revue des Sciences Humaines, 2000
The purpose of this study is to investigate the correlation between semantics and syntax by looking at complement – taking verbs and complement sentences in three different languages: French, English and Modern standard Arabic (MSA ...
Nacira HOCINE
doaj  

Ontological Model in the Identification of Emotional Aspects in Alzheimer Patients. [PDF]

Healthcare (Basel), 2023
Castillo Salazar DR, Lanzarini L, Gómez H, Thirumuruganandham SP, Castillo Salazar DX.   +4 more
europepmc   +1 more source

Syntactic - Semantic Axiomatic Theories in Mathematics

, 2013
A more careful consideration of the recently introduced "Grossone Theory" of Yaroslav Sergeev, [1], leads to a considerable enlargement of what can constitute possible legitimate mathematical theories by the introduction here of what we may call the {\it
Rosinger, Elemer Elad
core  

Steps Toward a Philosophy for Mathematicians. [PDF]

Math Intell, 2023
Fenstad JE.
europepmc   +1 more source

Hilbert's Early Metatheory Revisited. [PDF]

Erkenntnis
Giovannini EN, Schiemer G.
europepmc   +1 more source

Hootation: A GUI and API library for ontology validation and verbalization. [PDF]

Proc IEEE Int Conf Semant Comput
Amith M, Hao X, Manuel W, Li M, Rao S, Roberts K, Xu H, Gong Y, Manion F, Tao C, Cui L.   +10 more
europepmc   +1 more source