956 search results - page 75 / 192 » Languages as libraries |
ICFP
2010
ACM
13 years 11 months ago
2010
ACM
A wide range of computer programs, including compilers and theorem provers, manipulate data structures that involve names and binding. However, the design of programming idioms wh...
ECOOP
2007
Springer
14 years 2 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
WOTUG
2007
13 years 11 months ago
2007
Abstract. The advent of mass-market multicore processors provides exciting new opportunities for parallelism on the desktop. The original C++CSP – a library providing concurrency...
ICSE
1998
IEEE-ACM
14 years 2 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
FOAL
2008
ACM
13 years 11 months ago
2008
ACM
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individual...