4190 search results - page 119 / 838 » Type Class Directives |
128
Voted
SCP
2008
15 years 3 months ago
2008
Abstract. The Real-time Specification for Java (RTSJ) introduced a range of language features for explicit memory management. While the RTSJ gives programmers fine control over mem...
170
Voted
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
131
Voted
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
A programming construct mixin was invented to implement uniform extensions and modifications to classes. Although mixin-based programming has been extensively studied both on the m...
150
Voted
WMASH
2003
ACM
15 years 9 months ago
2003
ACM
In recent years, wireless Internet service providers (WISPs) have established Wi-Fi hotspots in increasing numbers at public venues, providing local coverage to traveling users an...
118
Voted
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...