Sciweavers

2233 search results - page 37 / 447
» Modular type classes
Sort
View
HICSS
2008
IEEE
96views Biometrics» more  HICSS 2008»
15 years 6 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 days 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»
14 years 11 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 4 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 5 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 ...