Results 281 to 290 of about 1,585,173 (321)

Towards a Formal TMQL Semantics

2007
TMQL, the upcoming standardized Topic Maps query language, may become the main work horse for semantic web applications based on the Topic Maps paradigm. While the current specification uses prose to declare the intended meaning of various language constructs, this work is an approach to a complete formal semantics. It details the static semantics as a
openaire   +1 more source

KJS: a complete formal semantics of JavaScript

ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2015
D. Park, Andrei Stefanescu, Grigore Roşu   +2 more
semanticscholar   +1 more source

The Cambridge Handbook of Formal Semantics

, 2016
M. Aloni, P. Dekker
semanticscholar   +1 more source

Formal semantics for perceptual classification

Journal of Logic and Computation, 2015
Staffan Larsson
semanticscholar   +1 more source

Towards Formal Semantics for ODRL Policies

International Web Rule Symposium, 2015
Simon Steyskal, A. Polleres
semanticscholar   +1 more source

K‐Go: An executable formal semantics of Go language in K framework

IET Blockchain, 2023
exaly  

Bridging the gap between formal semantics and implementation of triple graph grammars

2010 Workshop on Model-Driven Engineering, Verification, and Validation, 2014
H. Giese, Stephan Hildebrandt, L. Lambers   +2 more
semanticscholar   +1 more source

From Discourse to Logic - Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

Studies in Linguistics and Philosophy, 1993
H. Kamp, Uwe Reyle
semanticscholar   +1 more source

Engineering UToPiA - Formal Semantics for CML

World Congress on Formal Methods, 2014
J. Woodcock
semanticscholar   +1 more source

The formal semantics of programming languages - an introduction

Foundation of computing series, 1993
G. Winskel
semanticscholar   +1 more source