Skip to main content

On pushout consistency, modularity and interpolation for logical specifications

Download / Buy Article:

This article is hosted on another website.

You may be required to register, activate a subscription or purchase the article before you can obtain the full text.

Proceed

Keywords: Coequalizer; Consistency; Data types; Extensions; Formal specifications; Internalization; Interpolation; Interpretations; Modularity; Pushout; Software engineering; Theory of computation

Document Type: Research Article

DOI: http://dx.doi.org/10.1016/S0020-0190(96)00146-9

Affiliations: Department of Informatics, Pont. Univ. Catolica, 22453-900 Rio de Janeiro RJ, Brazil

Publication date: October 28, 1996

els/00200190/1996/00000060/00000002/art00146
dcterms_title,dcterms_description,pub_keyword
6
5
20
40
5

Access Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content
Cookie Policy
X
Cookie Policy
ingentaconnect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more