8828 search results - page 20 / 1766 » Formal methods in practice |
132
click to vote
AMAST
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We summarize the results of several experiments in applying a metamethod for formal method integration [18, 19]. We provide a small example of using an instance of integr...
TYPES
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
IEEECIT
2010
IEEE
14 years 7 months ago
2010
IEEE
The practical teaching is a key to train students in practical ability and innovative consciousness. But, evaluation standards of practice teaching are still confusion. By analyzin...
PASTE
2010
ACM
14 years 11 months ago
2010
ACM
Packrat parsing is a powerful parsing algorithm presented by Ford in 2002. Packrat parsers can handle complicated grammars and recursive structures in lexical elements more easily...
BMCBI
2007
14 years 10 months ago
2007
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...