5451 search results - page 109 / 1091 » Typed Operational Semantics |
115
click to vote
DS
1992
15 years 4 months ago
1992
In a multidatabase system, schematic con icts between two objects are usually of interest only when the objects have some semantic a nity. In this paper we try to reconcile the tw...
127
Voted
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...
111
click to vote
LTCONF
2007
Springer
15 years 9 months ago
2007
Springer
Recent work in sentiment analysis has begun to apply fine-grained semantic distinctions between expressions of attitude as features for textual analysis. Such methods, however, r...
109
Voted
EDOC
2006
IEEE
15 years 9 months ago
2006
IEEE
Service oriented software architectures will form the core of operational enterprise IT landscapes in the future.
132
click to vote
LICS
1989
IEEE
15 years 7 months ago
1989
IEEE
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...