2625 search results - page 356 / 525 » The development of the Emerald programming language |
167
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
191
click to vote
SDMW
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Researchers have recently begun to develop and investigate policy languages to describe trust and security requirements on the Semantic Web. Such policies will be one com...
163
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
Applications running on a mobile and wireless devices must be able to adapt gracefully to limited and fluctuating network resources. The variety of applications, platforms upon w...
162
click to vote
ICFP
1999
ACM
15 years 10 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...
171
click to vote
ASPLOS
1992
ACM
15 years 10 months ago
1992
ACM
: In scalable parallel machines, processors can make local memory accesses much faster than they can make remote memory accesses. In addition, when a number of remote accesses must...