An overview on ModPascal

Authors:
Walter Olthoff
Affiliations:
FB Informatik, University of Kaiserstautern, PF 3049, 6750 KaisersLautern, Federal RepubLic of Germany
Venue:
ACM SIGPLAN Notices
Year:
1985

Citing 6
Cited 1

Integrated program development and verification

Proc. of a symposium on Software validation: inspection-testing-verification-alternatives
Abstract data types and software validation

Communications of the ACM
Abstraction mechanisms in CLU

Communications of the ACM
Stepwise Specification and Implementation of Abstract Data Types

Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Report on the programming language Euclid

ACM SIGPLAN Notices
Programming in Modula-2

Programming in Modula-2

Augmentation of object-oriented programming by concepts of abstract data type theory: the ModPascal experience

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

The object oriented programming Language ModPascal and its programming environment are introduced. ModPascal extends Standard Pascal by constructs that have shown usefullness in abstract data type theory: module types, enrichments, instantiations and instantiate types. In fact, ModPascal has been designed as procedural counterpart of a specification Language based on abstract data types, and its semantics also employs algebraic structures. ModPascal programs may be edited, compiled and executed by using the ModPascal Programming System that includes a multi-user data base for ModPascal objects.