1401 search results - page 73 / 281 » Tool Integration for Reasoned Programming |
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
ICCD
2002
IEEE
14 years 5 months ago
2002
IEEE
The requirements to system and software development tools brought up by the automotive industry differ from the requirements that other customers have. The important catchwords he...
DEXA
2003
Springer
14 years 2 months ago
2003
Springer
Knowledge engineering has developed fine tools for maintaining the integrity of knowledge bases. These tools may be applied to the maintenance of conventional programs particularly...
PLILP
1994
Springer
14 years 28 days ago
1994
Springer
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
FLOPS
2006
Springer
14 years 16 days ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...