<script type="text/javascript">
<!--
document.write('<div id="oa_widget"></div>');
document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=undefined&type=result"></script>');
-->
</script>

COPY SCRIPT

For further information contact us at helpdesk@openaire.eu

The Algebraic Specification of Abstract Data Types

The algebraic specification of abstract data types

descriptionPublicationkeyboard_double_arrow_right Part of book or chapter of book , Article 01 Jan 1978Publisher:Springer New YorkJournal:Acta Informatica, volume 10 (issn: 0001-5903, eissn: 1432-0525,

Authors: John V. Guttag; J. J. Horning;

doi: 10.1007/978-1-4612-6315-9_21 , 10.1007/bf00260922

The Algebraic Specification of Abstract Data Types

- Summary
- Subjects
- Metrics

Abstract

There have been many recent proposals for embedding abstract data types in programming languages. In order to reason about programs using abstract data types, it is desirable to specify their properties at an abstract level, independent of any particular implementation. This paper presents an algebraic technique for such specifications, develops some of the formal properties of the technique, and shows that these provide useful guidelines for the construction of adequate specifications.

Related Organizations

University of California System
United States
University of Toronto
Canada

Keywords

General topics in the theory of software

Impact byBIP!

	citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	425
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Top 0.1%
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 1%