4386 search results - page 551 / 878 » A Tamper-Resistant Programming Language System |
154
click to vote
MOBILITY
2009
ACM
15 years 9 months ago
2009
ACM
The convergence of desktop, mobile and web application development has resulted in new types of software systems. These new systems are built to leverage the World Wide Web, and t...
130
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
ML-style modules are valuable in the development and maintenance of large software systems, unfortunately, none of the existing languages support them in a fully satisfactory mann...
135
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
124
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
132
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Dynamic loading of code is needed when rarely used code should be loaded on demand or when the code to be loaded is not known in advance. In distributed systems it can also be used...