456 search results - page 31 / 92 » Semantic Foundations of Jade |
PPDP
2009
Springer
14 years 3 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
SEMWEB
2004
Springer
14 years 2 months ago
2004
Springer
Service interface description languages such as WSDL, and related standards, are evolving rapidly to provide a foundation for interoperation between Web services. At the same time,...
UML
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
IADIS
2003
13 years 10 months ago
2003
The desideratum for the concept of a semiotic web is proposed. It combines both the recent semantic web and the pragmatic web initiatives but surpasses them in being faithful to C...
DLOG
2011
13 years 8 days ago
2011
Abstract. The preferential and rational consequence relations ļ¬rst studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...