Contractual Types

Nierstrasz, Oscar (2003). Contractual Types University of Bern, Switzerland: Universität Bern

[img] Text
Nier03bcontractualTypes.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (181kB) | Request a copy

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 components can then be statically checked when components are composed. To illustrate our approach, we introduce the form calculus, a calculus of explicit environments, and we present a type system that infers types for form expressions.

Item Type:

Report (Report)


08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG)

UniBE Contributor:

Nierstrasz, Oscar Marius


000 Computer science, knowledge & systems
500 Science > 510 Mathematics


Universität Bern




Manuela Bamert

Date Deposited:

29 Jan 2018 16:53

Last Modified:

21 Nov 2019 02:59




Actions (login required)

Edit item Edit item
Provide Feedback