Sciweavers

252 search results - page 12 / 51
» Pragmatic Type Interoperability
Sort
View
ICALP
1990
Springer
15 years 1 months ago
Static Correctness of Hierarchical Procedures
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...
Michael I. Schwartzbach
ECOOP
2010
Springer
14 years 11 months ago
Adding Dynamic Types to C#
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
AMAST
2004
Springer
15 years 3 months ago
Behavioural Types and Component Adaptation
Component adaptation is widely recognised to be one of the crucial problems in Component-Based Software Engineering. The objective of this paper is to set a formal foundation for t...
Antonio Brogi, Carlos Canal, Ernesto Pimentel
ECOOP
1999
Springer
15 years 1 months ago
Type-Safe Delegation for Run-Time Component Adaptation
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
Günter Kniesel
BIOSIG
2007
114views Biometrics» more  BIOSIG 2007»
14 years 11 months ago
Minutiae template conformance and interoperability issues
: Minutiae features extracted from finger images are widely used for automated fingerprint recognition. The conformance of minutiae templates to standardised data interchange forma...
Olaf Henniger, Dirk Scheuermann