Sciweavers

79 search results - page 9 / 16
» rules 1993
Sort
View
DBPL
1993
Springer
104views Database» more  DBPL 1993»
14 years 1 months ago
Extensible Grammars for Language Specialization
A frequent dilemma in the design of a database programming language is the choice between a language with a rich set of tailored notations for schema definitions, query expression...
Luca Cardelli, Florian Matthes, Martín Abad...
AAAI
1993
13 years 11 months ago
Numeric Reasoning with Relative Orders of Magnitude
In [Dague, 1993], a formal system ROM(K) involving four relations has been defined to reason with relative orders of magnitude. In this paper, problems of introducing quantitative...
Philippe Dague
AIPT
1993
13 years 11 months ago
Automating the OSI to Internet Management Conversion Through the Use of an Object-Oriented Platform
OSI provides a powerful object-oriented management model that is infinitely scalable and extensible but is only now beginning to see widespread support. The Internet model has fo...
George Pavlou, Saleem N. Bhatti, Graham Knight
PEPM
1993
ACM
14 years 1 months ago
Binding-Time Analysis and the Taming of C Pointers
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
Lars Ole Andersen
RULES
1993
Springer
159views Database» more  RULES 1993»
14 years 1 months ago
Implementing Relationships and Constraints in an Object-Oriented Database Using a Monitor Construct
Semantic models have shown the utility of arbitrary user-de ned relationships for de ning the semantics of database information, while objectoriented models have developed a stron...
Michael Doherty, Joan Peckham, Victor Fay Wolfe