7529 search results - page 140 / 1506 » The Modula-3 Type System |
122
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
129
click to vote
ER
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
121
Voted
TAPSOFT
1991
Springer
15 years 8 months ago
1991
Springer
Type inference can be phrased as constraint-solving over types. We consider an implicitly typed language equipped with recursive types, multiple inheritance, 1st order parametric ...
121
click to vote
RC
2007
15 years 4 months ago
2007
This article proposes an approach for investigating the exponential stability of a nonlinear interval dynamical system with the nonlinearity of a quadratic type on the basis of the...
116
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper presents a novel extension of Hidden Markov Models (HMMs): type-2 fuzzy HMMs (type-2 FHMMs). The advantage of this extension is that it can handle both randomness and f...