10899 search results - page 205 / 2180 » The GP Programming System |
106
Voted
ENTCS
2008
15 years 3 months ago
2008
and Abstract Interpretation for C/C++ Programs Helge L
120
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Multiprocessors are now commonplace, and cloud computing is swiftly following suit. While it is possible to write high performance code for these systems, concurrency bugs are ext...
161
Voted
LICS
1993
IEEE
15 years 7 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...
155
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Safety is an important property of high-assurance software, and one of the hot research topics on it is the verification method for software to meet its safety policies. In our p...
108
Voted
ESOP
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...