3256 search results - page 399 / 652 » Applications of Formal Methods to System Design and Verifica... |
184
click to vote
LREC
2008
15 years 8 months ago
2008
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...
155
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
166
click to vote
CAV
2005
Springer
16 years 4 days ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
201
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
158
click to vote
APN
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific ...