2106 search results - page 46 / 422 » Operational Semantics for MSC'96 |
ISNN
2005
Springer
15 years 3 months ago
2005
Springer
In this paper, we analyzed self-organizing map of conceptual and semantic relations for noun, discussing the semantic distinction between conceptual nouns for natural language proc...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper, we give an operational and denotational semantics for a 3APL meta-language, with which various 3APL interpreters can be programmed. We moreover prove equiv...
ESWS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. From a theoretical point of view, the Semantic Web is understood in terms of a stack with RDF being one of its layers. A Semantic Web application operates on the common d...
FROCOS
2005
Springer
15 years 3 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
TLCA
2007
Springer
15 years 3 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...