5451 search results - page 255 / 1091 » Typed Operational Semantics |
155
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
This paper introduces a new approach to type theory called pure subtype systems. Pure subtype systems differ from traditional approaches to type theory (such as pure type systems)...
161
click to vote
BTW
2007
Springer
15 years 10 months ago
2007
Springer
: Schema matching is the process of identifying semantic correspondences between schemas. COMA++ is a matching prototype which uses several characteristics of schemas to determine ...
117
click to vote
TPHOL
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
161
click to vote
DAGSTUHL
2001
15 years 5 months ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
112
click to vote
NLE
2008
15 years 4 months ago
2008
This paper presents a robust parsing algorithm and semantic formalism for the interpretation of utterances in spoken negotiative dialogue with databases. The algorithm works in tw...