2596 search results - page 105 / 520 » Gradual Typing for Objects |
134
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
142
click to vote
SIGCSE
2009
ACM
16 years 4 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...
141
Voted
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— In this paper we present a heuristic approach to planning in an environment with moving obstacles. Our approach assumes that the robot has no knowledge of the future trajectory...
105
Voted
COBUILD
1999
Springer
15 years 7 months ago
1999
Springer
The Passage mechanism introduced in this paper provides an easy and intuitive way to transport various types of digital objects by using also normal physical objects without any sp...
124
Voted
JOOP
1998
15 years 3 months ago
1998
Ada ‘95 does not provide for a constructor mechanism with parameters for initializing newly created objects. The package Ada.Finalization provides an initialize procedure which ...