292 search results - page 1 / 59 » Proving Consistency of Pure Methods and Model Fields |
FASE
2009
Springer
15 years 29 days ago
2009
Springer
Abstract. Pure methods and model fields are useful and common speci
TPHOL
2007
IEEE
15 years 13 days ago
2007
IEEE
We propose a method to extract purely functional contents from logical inductive types in the context of the Calculus of Inductive Constructions. This method is based on a mode con...
JSAC
2008
14 years 6 months ago
2008
In this paper, we investigate the coverage problem in wireless sensor networks using a game theory method. We assume that nodes are randomly scattered in a sensor field and the goa...
CADE
2003
Springer
15 years 6 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
STOC
1998
ACM
14 years 10 months ago
1998
ACM
We present a Monte Carlo algorithm for testing multivariate polynomial identities over any field using fewer random bits than other methods. To test if a polynomial P(x1 ::: xn) ...