There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

DOI:: 10.1145/234313.234418

ScienceOpen disciplines: Software engineering,Programming languages,Computer science

Data availability:

ScienceOpen disciplines: Software engineering, Programming languages, Computer science

Comments

Comment on this article

scite_

Cited by 5

Structural Contracts – Motivating Contracts to Ensure Extra-Functional Semantics
Authors: Gregor Nitsche, Ralph Görgen, Kim Grüttner …
Towards Static Type-checking for Jolie
Authors: Bogdan Mingela, Nikolay Troshkov, Manuel Mazzara …
A Model for Configuration Management of Open Software Systems
Authors: Giovanni Cignoni, Paolo Milazzo, Roberto Barbuti

See all cited by

Type systems

Read this article at