563 search results - page 16 / 113 » A Typing Scheme for Behavioural Models |
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
al modelling studies the different abstraction methods of the real world. The conception and the execution of virtual worlds depend strongly of the type of conceptual models. Exis...
DBPL
1995
Springer
14 years 4 days ago
1995
Springer
One of the limitations of commercially available object-oriented DBMSs is their inability to deal with objects that may change their type during their life and which exhibit a plu...
FOAL
2007
ACM
14 years 14 days ago
2007
ACM
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
IAT
2010
IEEE
13 years 6 months ago
2010
IEEE
-- In the area of financial decision making it is more and more acknowledged that psychological states and characteristics play an important role, for example feeling insecure in r...
CSL
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...