506 search results - page 68 / 102 » Where Is the Value in a Program Verifier |
145
Voted
SAS
1994
Springer
15 years 4 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...
110
click to vote
SAS
2009
Springer
15 years 7 months ago
2009
Springer
There are many programming situations where it would be convenient to conceal the meaning of code, or the meaning of certain variables. This can be achieved through program transfo...
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
We propose a development methodology for designing and prototyping high assurance microkernels, and describe our application of it. The methodology is based on rapid prototyping a...
108
Voted
AMAI
2004
Springer
15 years 6 months ago
2004
Springer
Learning the parameters (conditional and marginal probabilities) from a data set is a common method of building a belief network. Consider the situation where we have known graph s...
127
click to vote
ICDE
2010
IEEE
16 years 8 days ago
2010
IEEE
Given a positive value r, a circular range query returns the objects that lie within the distance r of the query location. In this paper, we study the circular range queries that c...