5451 search results - page 208 / 1091 » Typed Operational Semantics |
122
click to vote
AAAI
2006
15 years 5 months ago
2006
Since the description of the Semantic Web paradigm in 2001, technology has been proposed to allow its deployment and use. However, there is not yet any large and widely deployed s...
125
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. This paper presents a polymorphic type system for a language with delimited control operators, shift and reset. Based on the monomorphic type system by Danvy and Filinski...
144
click to vote
ECOOP
2008
Springer
15 years 5 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
158
click to vote
DEXA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Wikis have demonstrated how it is possible to convert a community of strangers into a community of collaborators. Semantic wikis have opened an interesting way to mix web...
123
click to vote
ICWE
2010
Springer
15 years 2 months ago
2010
Springer
In this paper, we present a DSL to specify business and web transactions in a systematic way, addressing both informational and behavioral perspectives. Our meta-model is based on ...