4205 search results - page 17 / 841 » Typed Mobile Objects |
109
Voted
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
In network applications it is crucial to have a mechanism to guarantee that communications evolve correctly according to the agreed protocol. Session types offer a method for abstr...
DOOD
1993
Springer
15 years 1 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
ECEASST
2008
14 years 9 months ago
2008
Abstract: Subtyping and inheritance are two major issues in the research and development of object-oriented languages, which have been traditionally studied along the lines of type...
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
CGO
2006
IEEE
15 years 1 months ago
2006
IEEE
Memory performance is an important design issue for contemporary systems given the ever increasing memory gap. This paper proposes a space-efficient Java object model for reducing...