85 search results - page 5 / 17 » Static Dependent Types for First Class Modules |
114
Voted
ESEC
1999
Springer
15 years 6 months ago
1999
Springer
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
116
click to vote
GIS
2009
ACM
15 years 6 months ago
2009
ACM
The essential elements of any navigation system are a shortest-path algorithm and accurate map data. The contribution of this work is two-fold. First, the HBA algorithm, an effici...
143
Voted
PLDI
2000
ACM
15 years 6 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
101
click to vote
SAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
229
Voted
PLDI
2009
ACM
16 years 3 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...