5451 search results - page 93 / 1091 » Typed Operational Semantics |
102
Voted
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
133
Voted
JOCN
2010
15 years 1 months ago
2010
■ Research in psycholinguistics and in the cognitive neuroscience of language has suggested that semantic and syntactic integration are associated with different neurophysiologi...
121
click to vote
LREC
2010
15 years 4 months ago
2010
This paper reports our experience when integrating differ resources and services into a grid environment. The use case we address implies the deployment of several NLP application...
106
Voted
AAAI
1998
15 years 4 months ago
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and de ne the semantics as its least xpoint. The semantics is...
127
Voted
IJCAI
1993
15 years 4 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...