Sciweavers

2233 search results - page 37 / 447
» Modular type classes
Sort
View
HICSS
2008
IEEE
96views Biometrics» more  HICSS 2008»
15 years 11 months ago
Interoperability of Medical Applications and Devices
This paper discusses several types of interoperability for medical applications and devices: the ability of applications to run on any platform; how modularity affects interoperab...
Mark Gaynor, Dan Myung, Amar Gupta, James Rawn, St...
POPL
2008
ACM
16 years 4 months ago
Enhancing modular OO verification with separation logic
Conventional specifications for object-oriented (OO) programs must adhere to behavioral subtyping in support of class inheritance and method overriding. However, this requirement ...
Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, She...
ENTCS
2002
80views more  ENTCS 2002»
15 years 4 months ago
Some Co-Birkhoff Type Theorems
We consider the dual of Theorem 1 from [33], relating closure conditions on subcategories with projectivity classes for collections of discrete cocones. We extend these results by...
Jesse Hughes
ECOOPW
1998
Springer
15 years 8 months ago
Reengineering the Modularity of OO Systems
This paper describes a validation experiment of a quantitative approach to the modularization of object oriented systems based on Cluster Analysis. A sample of some relatively larg...
Fernando Brito e Abreu, Gonçalo Pereira, Pe...
TLCA
2005
Springer
15 years 10 months ago
Subtyping Recursive Types Modulo Associative Commutative Products
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
Roberto Di Cosmo, François Pottier, Didier ...