1937 search results - page 229 / 388 » Adaptation-based programming in java |
153
click to vote
NSPW
2004
ACM
15 years 11 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
154
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
173
click to vote
APLAS
2003
ACM
15 years 10 months ago
2003
ACM
Abstract. Much work has been done in verifying a compiler specification, both in hand-written and mechanical proofs. However, there is still a gap between a correct compiler specif...
153
click to vote
SERP
2004
15 years 7 months ago
2004
Cohesion is one of the fundamental measures of the 'goodness' of a software design. The most accepted and widely studied object-oriented cohesion metric is Chidamber and...
153
click to vote
WSPI
2004
15 years 7 months ago
2004
Abstract. The traditional overlap between computer science and philosophy centres upon the issue of in what sense a computer may be said to think. A lesser known issue of potential...