9595 search results - page 288 / 1919 » Functional programming in C |
158
click to vote
ICCD
1992
IEEE
15 years 10 months ago
1992
IEEE
This paper presents a data- ow computer, constituted of a large array of data- ow processors and programmed using a functional language, and its application to realtime image proc...
171
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
143
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
Parsing programming languages is an essential component of the front end of most program comprehension tools. Languages such as C++ can be difficult to parse and so it can prove ...
179
click to vote
CC
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Many important software systems are written in the C programming language. Unfortunately, the C language does not provide strong safety guarantees, and many common progra...
169
click to vote
VMCAI
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...