1724 search results - page 86 / 345 » Abstract Interpreters for Free |
154
click to vote
ENTCS
2000
15 years 5 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
186
click to vote
SIAMDM
2010
15 years 7 days ago
2010
Abstract. Squaregraphs were originally defined as finite plane graphs in which all inner faces are quadrilaterals (i.e., 4-cycles) and all inner vertices (i.e., the vertices not in...
197
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
We introduce a static detector, Saber, for detecting memory leaks in C programs. Leveraging recent advances on sparse pointer analysis, Saber is the first to use a full-sparse va...
152
click to vote
IFL
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
206
click to vote
BSDCON
2003
15 years 6 months ago
2003
The existing thread scheduler in FreeBSD was well suited towards the computing environment that it was developed in. As the priorities and hardware targets of the project have cha...