Sciweavers

6960 search results - page 169 / 1392
» Continuity Analysis of Programs
Sort
View
SAS
1997
Springer
103views Formal Methods» more  SAS 1997»
15 years 7 months ago
An Algebraic Approach to Sharing Analysis of Logic Programs
Michael Codish, Vitaly Lagoon, Francisco Bueno
90
Voted
LPAR
1993
Springer
15 years 7 months ago
Sequentialization of Parallel Logic Programs with Mode Analysis
Barton C. Massey, Evan Tick
HOTOS
2007
IEEE
15 years 7 months ago
Beyond Bug-Finding: Sound Program Analysis for Linux
It is time for us to focus on sound analyses for our critical systems software--that is, we must focus on analyses that ensure the absence of defects of particular known types, ra...
Zachary R. Anderson, Eric A. Brewer, Jeremy Condit...