Results for:
"
Martin+McDonagh
" in Documents
- Programming in Oz 1995
- This report gives a tutorial introduction to the basic programming paradigms in Oz. Oz is a concurrent language providing for functional, object-oriented, and constraint programming. We concentrate on...
-
Rating:
Views: (1015)
Pages: ()
Uploaded: 13-05-09
- Support for Mobility and Replication in the AspectIX Architecture 1998...
- : CORBA as a standardized object-based middleware for distributed computing still lacks sufficient support for mobility and replication, although there are several proposals to integrate these mechani...
-
Rating:
Views: (1124)
Pages: ()
Uploaded: 13-05-09
- Support for Mobility and Replication in the AspectIX Architecture 1998...
- : CORBA as a standardized object-based middleware for distributed computing still lacks sufficient support for mobility and replication, although there are several proposals to integrate these mechani...
-
Rating:
Views: (1020)
Pages: ()
Uploaded: 13-05-09
- Support for Mobility and Replication in the AspectIX Architecture 1998...
- : CORBA as a standardized object-based middleware for distributed computing still lacks sufficient support for mobility and replication, although there are several proposals to integrate these mechani...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09
- Support for Mobility and Replication in the AspectIX Architecture 1998...
- : CORBA as a standardized object-based middleware for distributed computing still lacks sufficient support for mobility and replication, although there are several proposals to integrate these mechani...
-
Rating:
Views: (1018)
Pages: ()
Uploaded: 13-05-09
- Type Inference with Constrained Types 1997 40 citations ? 5 self
- In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints. HM(X) stays in the tradition of the Hindley/Milner type system. Type systems in HM(X) are sou...
-
Rating:
Views: (1007)
Pages: ()
Uploaded: 13-05-09
- Type Inference with Constrained Types 1997 40 citations ? 5 self
- In this paper we present a general framework HM(X) for Hindley/Milner style type systems with constraints. HM(X) stays in the tradition of the Hindley/Milner type system. Type systems in HM(X) are sou...
-
Rating:
Views: (1008)
Pages: ()
Uploaded: 13-05-09
- Analysis of Loops 1998 13 citations ? 8 self
- this paper a new technique is presented that allows the application of the well known and established interprocedural analysis theory to loops. It turns out that the call string approach has limited f...
-
Rating:
Views: (1006)
Pages: ()
Uploaded: 13-05-09