Results 301 to 310 of about 1,585,173 (321)

Reduction Semantics and Formal Analysis of Orc Programs

Electronic Notes in Theoretical Computer Science, 2008
Musab A Alturki
exaly  

Formal semantics in modern type theories with coercive subtyping

Linguistics and Philosophy, 2013
exaly  

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

2016
openaire   +1 more source

XQuery formal semantics state and challenges

SIGMOD Record, 2001
exaly  

Formal Semantics

2006
openaire   +1 more source

Use of a formal notation for static semantics in compiler design

Software - Practice and Experience, 1978
exaly  

A formal semantics of SMIL: a web standard to describe multimedia documents

Computer Standards and Interfaces, 2001
exaly  

Formal semantics

2013
openaire   +1 more source

Formal semantics

Cybernetics, 1976
openaire   +1 more source