1932 search results - page 226 / 387 » Molecule-oriented programming in Java |
102
Voted
NSPW
2004
ACM
15 years 6 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...
99
Voted
ESOP
2006
Springer
15 years 4 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...
114
click to vote
APLAS
2003
ACM
15 years 4 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...
90
Voted
SERP
2004
15 years 2 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...
82
Voted
WSPI
2004
15 years 2 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...