489 search results - page 50 / 98 » Type classes as objects and implicits |
APSEC
1999
IEEE
14 years 12 days ago
1999
IEEE
The Object Constraint Language (OCL) is a precise language which could be used for describing constraints on object-oriented models and other modelling artifacts. The kind of cons...
ISKI
1994
14 years 5 days ago
1994
There is a manifold of meanings we could associate with the term \evolution" in the database arena. This paper tries to categorize some of these into a unique framework, showi...
TPHOL
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...
JUCS
2008
13 years 8 months ago
2008
: Implementing binary methods in traditional object-oriented languages is difficult: numerous problems arise regarding the relationship between types and classes in the context of ...