3583 search results - page 101 / 717 » A Type System for the Relational Calculus of Object Systems |
MLQ
2000
13 years 8 months ago
2000
: Each information system (or data table) leads to a hierarchy of binary relations on the object set in a natural way; these relational systems can serve as frames for the semantic...
TPHOL
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
ECOOP
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
HAPTICS
2009
IEEE
14 years 3 months ago
2009
IEEE
In order to enable intuitive physical interaction with autonomous robots as well as in collaborative multi-user virtual reality and teleoperation systems a deep understanding of h...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...