Results 291 to 300 of about 1,176,202 (301)
Some of the next articles are maybe not open access.
A construction of sound semantic linguistic scales using 4-tuple representation of term semantics
International Journal of Approximate Reasoning, 2014Van-Nam Huynh, Witold Pedrycz
exaly
Mechanized Semantics for the Clight Subset of the C Language
Journal of Automated Reasoning, 2009Sandrine Blazy, Xavier LeRoy
exaly
A comparative study of two formal semantics of the SIGNAL language
Frontiers of Computer Science, 2013Zhibin Yang +2 more
exaly
An executable formal semantics of C with applications
ACM SIGPLAN Notices, 2012Chucky Ellison, Grigore Rosu
exaly
The origins of structural operational semantics
The Journal of Logic and Algebraic Programming, 2004exaly
Sequence semantics for dynamic predicate logic
Journal of Logic, Language and Information, 1993exaly