8068 search results - page 29 / 1614 » Java Data Objects |
DAGSTUHL
2001
14 years 8 days ago
2001
In this paper we present a recursion-theoretic denotational semantics for Featherweight Java. Our interpretation is based on a formalization of the object model of Castagna, Ghelli...
JAVA
1999
Springer
14 years 3 months ago
1999
Springer
Exploiting our experience developing the WebFlow system, we designed the Gateway system to provide seamless and secure access to computational resources at ASC MSRC. The Gateway f...
ENTCS
2010
13 years 8 months ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
ACMSE
2004
ACM
14 years 4 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
POPL
2009
ACM
14 years 11 months ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...