441 search results - page 22 / 89 » The logical approach to stack typing |
110
click to vote
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...
POPL
2011
ACM
14 years 8 days ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
POPL
1998
ACM
15 years 1 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
108
click to vote
BMCBI
2011
14 years 4 months ago
2011
Background: The Cell Ontology (CL) is an ontology for the representation of in vivo cell types. As biological ontologies such as the CL grow in complexity, they become increasingl...
FUZZY
1994
Springer
15 years 1 months ago
1994
Springer
In this paper, evolution strategy is applied in order to improve the time series prediction accuracy of a Sugeno and Takagi type fuzzy inference system FIS. The presented approach...