Results 151 to 160 of about 18,885 (168)

Formal Semantics

2010
Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny   +3 more
openaire   +1 more source

Formalized Semantics

2021
openaire   +1 more source

Variable Set Semantics for Keyed Generalized Sketches: Formal Semantics for Object Identity and Abstract Syntax for Conceptual Modeling

Data and Knowledge Engineering, 2003
Zinovy Diskin
exaly  

Formal Semantics for an Abstract Agent Programming Language

Lecture Notes in Computer Science, 1998
Koen Hindriks, Frank de Boer, Wiebe van der Hoek   +2 more
exaly  

Use of a Formal Notation for Static Semantics in Compiler Design

Software - Practice and Experience, 1978
M H Williams
exaly  

An Executable Formal Semantics of C With Applications

2012
Grigore Rosu
exaly  

Formal semantics

2016
openaire   +1 more source

Formal semantics

Cybernetics, 1976
openaire   +1 more source

Formal Semantics

2006
openaire   +1 more source

A Formal Semantics of SMIL: A Web Standard to Describe Multimedia Documents

Computer Standards and Interfaces, 2001
exaly