Sciweavers

6016 search results - page 217 / 1204
» The semantics of graphical languages
Sort
View
DLOG
2008
15 years 7 months ago
Actions over a Constructive Semantics for ALC
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
Loris Bozzato, Mauro Ferrari, Paola Villa
SDL
2007
139views Hardware» more  SDL 2007»
15 years 8 months ago
A Model-Based Standard for SDL
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
Andreas Prinz, Markus Scheidgen, Merete Skjelten T...
CONTEXT
1999
Springer
15 years 11 months ago
The Context-Dependency of Temporal Reference in Event Semantics
Abstract. Temporal reference in natural language is inherently context dependent: what counts as a moment in one context may be structurally analysed in another context, and vice v...
Fabio Pianesi, Achille C. Varzi
LICS
1997
IEEE
15 years 10 months ago
Semantics of Exact Real Arithmetic
In this paper, we incorporate a representation of the non-negative extended real numbers based on the composition of linear fractional transformations with nonnegative integer coe...
Peter John Potts, Abbas Edalat, Martín H&ou...
FPCA
1989
15 years 10 months ago
A Simple Semantics for ML Polymorphism
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...
Atsushi Ohori