2233 search results - page 48 / 447 » Modular type classes |
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
Service Oriented Computing (SOC) is a programming paradigm aiming at characterising Service Networks. Services are entities waiting for clients requests and they often result from ...
102
click to vote
ROOM
2000
15 years 1 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
SIAMCO
2008
14 years 11 months ago
2008
We consider two classes of semilinear wave equations with nonnegative damping which may be of type "on
CADE
2006
Springer
16 years 4 days ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
ECOOP
1999
Springer
15 years 4 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...