32032 search results - page 86 / 6407 » Verified programming in Guru |
96
Voted
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
Verifying concurrent programs is challenging since the number of thread interleavings that need to be explored can be huge even for moderate programs. We present a cartesian semant...
100
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
100
click to vote
CSUR
1999
15 years 13 days ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
100
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
We present Phantm, a static analyzer that uses a flowsensitive analysis to detect type errors in PHP applications. Phantm can infer types for nested arrays, and can leverage runti...
168
Voted
POPL
2002
ACM
16 years 1 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...