474 search results - page 17 / 95 » A Framework for Comparing Type Systems for Database Programm... |
171
Voted
POPL
1998
ACM
15 years 6 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
120
Voted
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
111
Voted
ICFP
2006
ACM
16 years 2 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
161
click to vote
ITCC
2002
IEEE
15 years 7 months ago
2002
IEEE
Due to its portability and popularity for Internet applications, Java has become one of the major programming languages. The similar syntax inherited from the C language and the p...
110
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
When building scalable systems that involve general-purpose computation and persistent data, object-oriented languages and relational databases are often essential components. Yet...