27 search results - page 1 / 6 » Immutability changes everything |
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...
WSDM
2009
ACM
14 years 7 days ago
2009
ACM
The Web is a dynamic, ever changing collection of information. This paper explores changes in Web content by analyzing a crawl of 55,000 Web pages, selected to represent different...
HOTOS
2009
IEEE
13 years 9 months ago
2009
IEEE
The system and network architecture for static sensornets is largely solved today with many stable commercial solutions now available and standardization efforts underway at the I...
TOOLS
2008
IEEE
13 years 11 months ago
2008
IEEE
Programming in an object-oriented language demands a fine balance between high degrees of expressiveness and control. At one level, we need to permit objects to interact freely t...
IFL
2007
Springer
13 years 11 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...