1059 search results - page 144 / 212 » Unification-Based Semantic Interpretation |
156
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...
136
click to vote
ICLP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
145
click to vote
LOPSTR
2007
Springer
15 years 10 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
142
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
120
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
This application demonstrates how to provide personalized, syndicated views on distributed web data using Semantic Web technologies. The application comprises four steps: The infor...