1991 search results - page 255 / 399 » Using a Coding Standard to Improve Program Quality |
106
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
We present a context- and path-sensitive algorithm for detecting memory leaks in programs with explicit memory management. Our leak detection algorithm is based on an underlying e...
126
click to vote
ESOP
2010
Springer
15 years 5 months ago
2010
Springer
Language-based information flow methods offer a principled way to enforce strong security properties, but enforcing noninterference is too inflexible for realistic applications. Se...
CSFW
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
100
click to vote
TCS
2010
15 years 8 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
136
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
is a simple and elegant abstraction that allows concurrency to be expressed often through a relatively small rewrite of a sequential program. In the absence of side-effects, futur...