1128 search results - page 3 / 226 » Little Engines of Proof |
ICSE
2000
IEEE-ACM
15 years 28 days ago
2000
IEEE-ACM
Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational seTh...
160
click to vote
ICDE
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, we describe a system called XomatiQ to address the problem of integration, querying and correlation of biological data. XomatiQ is an integral part of the genomics ...
106
click to vote
CADE
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
AGILEDC
2008
IEEE
15 years 3 months ago
2008
IEEE
TLCA
2005
Springer
15 years 2 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...