11653 search results - page 39 / 2331 » The Development of the C Language |
AOSD
2011
ACM
13 years 4 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
PST
2008
13 years 10 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
ASIAN
2007
Springer
14 years 3 months ago
2007
Springer
PPOPP
2005
ACM
14 years 2 months ago
2005
ACM
FCCM
2000
IEEE
14 years 1 months ago
2000
IEEE