Oscar Nierstrasz  Home/Search
Context
Related
| iam.unibe.ch/~scg/...ntractualTypes.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iam.unibe.ch/~oscar/...omnbib.cgi (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Real software systems are open and evolving. It is a constant challenge in such environments to ensure that software components are safely composed in the face of changing dependencies and incomplete knowledge. To address this problem, we propose a new kind of type system which allows us to infer not only the type provided by a software component in an open system, but also the type it requires of its environment, subject to certain constraints. The contractual type we infer for... (Update)
Similar documents (at the sentence level):
79.0%: Contractual Types - Oscar Nierstrasz Institut (Correct)
Active bibliography (related documents): More All
0.9: A Calculus for Modeling Software Components - Nierstrasz, Achermann (2002) (Correct)
0.6: A Guide to JPiccola - Nierstrasz, Achermann, Kneubuehl (2003) (Correct)
0.2: MDA and Programming Languages - Eichberg (2002) (Correct)
Similar documents based on text: More All
0.4: Semantics of Objects As Processes SOAP '99 - Hüttel, Kleist, Nestmann, (eds.) (1999) (Correct)
0.3: Components, Scripts and Glue - Schneider, Nierstrasz (1999) (Correct)
0.3: Scripting Coordination Styles - Achermann, Kneubuehl, Nierstrasz (Correct)
BibTeX entry: (Update)
@misc{ nierstrasz-contractual,
author = "Oscar Nierstrasz",
title = "Contractual Types",
url = "citeseer.ist.psu.edu/566907.html" }
Citations (may not include all citations):579 Software Architecture: Perspectives on an Emerging Disciplin.. (context) - Shaw, Garlan - 1996
82 Typeful programming - Cardelli - 1991
80 The SCHEME Programming Language (context) - Dybvig - 1987
48 Jiazzi: New age components for old fashioned java - McDirmid, Flatt et al. - 2001
44 Component-oriented software technology - Nierstrasz, Dami - 1995
41 DEC Systems Research Center (context) - Abadi, Cardelli et al. - 1990
37 Regular types for active objects - Nierstrasz - 1993
37 A kernel language for abstract data types and modules (context) - Burstall, Lampson - 1984
25 Piccola -- a small composition language - Achermann, Lumpe et al. - 2001
22 A lambda-calculus for dynamic binding - Dami - 1998
21 Scripts -- A Tour of Piccola (context) - Achermann, Nierstrasz et al. - 2001
14 Integrating independent components with on-demand remodulari.. - Mezini, Ostermann - 2002
13 Architectural reasoning in archjava - Aldrich, Chambers et al. - 2002
12 Component Software (context) - Szyperski - 1998
11 A Pi-Calculus Based Approach to Software Composition (context) - Lumpe - 1999
11 Explicit environments (context) - Sato, Sakurai et al. - 1999
10 Type-safe prototype-based component evolution - Zenger - 2002
10 and Glue: A conceptual framework for software composition (context) - Schneider, Scripts - 1999
6 Agents and Channels - Defining Composition Abstraction with .. (context) - Achermann - 2002
4 Typeful compositional styles (context) - Kneubuhl - 2003
2 A polymorphic environment calculus and its typeinference alg.. (context) - Nishizaki - 2000
Documents on the same site (http://www.iam.unibe.ch/~oscar/cgi-bin/omnbib.cgi): More
Design Guidelines for Tailorable Frameworks - Demeyer, Meijler, Nierstrasz.. (1997) (Correct)
Requirements for a Composition Language - Nierstrasz, Meijler (1995) (Correct)
Agents Everywhere, All the Time - Nierstrasz, Schneider, Achermann (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC