1173 search results - page 174 / 235 » Program Derivation Using Analogy |
103
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
—Unknown protein sequences are often compared to a set of known sequences (a database scan) to detect functional similarities. Even though efficient dynamic programming algorithm...
129
Voted
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
105
click to vote
TYPES
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we use the Epigram language to define the universe of regular tree types—closed under empty, unit, sum, product and least fixpoint. We then present a generic deci...
129
Voted
LICS
2002
IEEE
15 years 7 months ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
129
click to vote
ISMVL
2000
IEEE
15 years 6 months ago
2000
IEEE
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...