1636 search results - page 17 / 328 » Type-Theoretic Functional Semantics |
CORR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
100
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
115
click to vote
CORR
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. The classical propositional logic is known to be sound and complete with respect to the set semantics that interprets connectives as set operations. The paper extends pro...
MSCS
2006
14 years 9 months ago
2006
We show that the extensional ordering of the sequential functionals of pure type 3, e.g. as defined via game semantics [2, 4], is not cpo-enriched. ws that this model does not equ...
103
click to vote
IADIS
2009
14 years 7 months ago
2009
The paper describes a novel rule-based approach to classification of opinion statements on the level of individual sentences. In contrast to existing approaches, the proposed meth...