Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types | EKB DL

EKB DL

Home BookParagon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types

Description

Abstract.- Goals of Paragon and their relation to previous efforts.- The basic of Paragon.- The object-manager model and its implementation.- Selection of implementations.- A complete example using Paragon.- Implementation.- Retrospective on the language design and implementation.

Keywords

ComputersArtificial IntelligenceProgrammingCompilersComputer ScienceDatabase Administration & ManagementInformation TechnologyLanguagesSoftware Development & EngineeringAlgorithmsData ScienceData Modeling & Design

1985Book

Author(s)Mark S. Sherman

PublisherSpringer Science & Business Media

ISBN9783540152125

LanguageEnglish

SpringerLink

Similar Books

Book

A Systematic Catalogue of Reusable Abstract Data Types

Book

Algebraic Specification Techniques in Object Oriented Programming Environments

Book

Alphard: Form and Content: Form and Content

Book

Larch: Languages and Tools for Formal Specification (Monographs in Computer Science)

Book

Parallel Execution of Parlog

Book

Towards a Formal Description of Ada

Book

Design and Implementation of Programming Languages: Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976 (Lecture Notes in Computer Science, 54)

Book

Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)

Book

Program Specification Proceedings of a Workshop Aarhus, Denmark, August 1981

Book

Coroutines A Programming Methodology, a Language Design and an Implementation