3605 search results - page 149 / 721 » Associated types with class |
164
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
142
Voted
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Chomsky’s theory of syntax came after criticism of probabilistic associative models of word order in sentences. Immediate constituent structures are plausible but their descripti...
205
Voted
KDD
2001
ACM
16 years 4 months ago
2001
ACM
Breast cancer represents the second leading cause of cancer deaths in women today and it is the most common type of cancer in women. This paper presents some experiments for tumou...
117
click to vote
MPC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Generic functions are defined by induction on the structural representation of types. As a consequence, by defining just a single generic operation, one acquires this o...
125
Voted
DLOG
2010
15 years 1 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...