1162 search results - page 58 / 233 » Monotonic Semantic Interpretation |
89
Voted
FORTE
1998
15 years 9 days ago
1998
Message Sequence Charts (MSCs) are a graphical and textual language for the speci cation of message passing systems, in particular telecommunication systems. MSCs are standardised...
80
Voted
FSTTCS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
EACL
1989
ACL Anthology
15 years 3 days ago
1989
ACL Anthology
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
IWFM
1998
15 years 8 days ago
1998
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
111
Voted
LFP
1990
15 years 3 days ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...