581 search results - page 83 / 117 » On the Verifiability of Programs Written in the Feature Lang... |
STORAGESS
2005
ACM
14 years 2 months ago
2005
ACM
Improper access of data buffers is one of the most common errors in programs written in assembler, C, C++, and several other languages. Existing programs and OSs frequently acces...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
Despite its powerful module system, ML has not yet evolved for the modern world of dynamic and open modular programming, to which more primitive languages have adapted better so f...
COMSWARE
2006
IEEE
14 years 3 months ago
2006
IEEE
Many of the bugs in distributed software modules are security vulnerabilities, the most common and also the most exploited of which are buffer overflows and they typically arise in...
SAMOS
2010
Springer
13 years 6 months ago
2010
Springer
OpenCL is a programming language standard which enables the programmer to express the application by structuring its computation as kernels. The OpenCL compiler is given the explic...
CONCURRENCY
1998
13 years 8 months ago
1998
This paper presents our experience developing applications in Jade, a portable, implicitly parallel programming language designed for exploiting task-level concurrency. Jade progr...