1932 search results - page 198 / 387 » Molecule-oriented programming in Java |
124
click to vote
IASTEDSEA
2004
15 years 2 months ago
2004
Program transformation through the repeated application of simple rewrite rules is conducive to formal verification. In practice, program transformation oftentimes requires data t...
132
click to vote
IJWIS
2006
15 years 28 days ago
2006
: Using Internet-enabled mobile handheld devices to access the World Wide Web is a promising addition to the Web and traditional e-commerce. Mobile handheld devices provide conveni...
103
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
176
click to vote
ECOOP
2009
Springer
16 years 1 months ago
2009
Springer
Meaningful method names are crucial for the readability and maintainability of software. Existing naming conventions focus on syntactic details, leaving programmers with little or ...
116
click to vote
APLAS
2009
ACM
15 years 7 months ago
2009
ACM
Bounded existential types are a powerful language feature ling partial data abstraction and information hiding. However, existentials do not mingle well with subtyping as found in ...