599 search results - page 4 / 120 » Interpreting the Object Constraint Language |
AAAI
1990
13 years 11 months ago
1990
We describe a program, BEATRIX, that can understand textbook physics problems specified by a combination of English text and a diagram. The result of the understanding process is ...
LOPSTR
2007
Springer
14 years 4 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...
ECOOP
1992
Springer
14 years 1 months ago
1992
Springer
We analyse how inheritance of synchronization constraints should be supported. The conclusion of our analysis is that inheritance of synchronization constraints should take the for...
PODS
1997
ACM
14 years 2 months ago
1997
ACM
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
IEAAIE
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. This paper presents AROM, a new object-based knowledge representation system. AROM is original in two ways. Firstly, in addition to classes, knowledge representation in A...