1356 search results - page 54 / 272 » A variable-free dynamic semantics |
137
click to vote
DLS
2009
14 years 7 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
ENTCS
2010
14 years 10 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper describes a referential semantic language model that achieves accurate recognition in user-defined domains with no available domain-specific training corpora. This mo...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
In a highly mobile and active society, ubiquitous access to information and services is a general desire. The context of users is of high importance for an application to adapt aut...
TACS
1994
Springer
15 years 1 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...