Separate Compilation and Partial Specification in Pascal

Celentano, Augusto; Vigna, Pierluigi Della; Ghezzi, Carlo; Mandrioli, Dino

doi:10.1109/tse.1980.230483

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1981

1994

Publication Types

Select...

Book3

Article2

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 9 publications

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Integrating library modules into Pascal programs

Ancona

Floriani²,

Dodero

et al. 1984

Softw Pract Exp

View full text Add to dashboard Cite

We present the results of our experience in introducing modularity into the programming language Pascal in order to aid the creation and use of library modules. Our system performs the symbolic linking of source language modules producing a single Pascal text ready for compilation; performing the link phase before compilation anticipates interface consistency checks, and suggests a possible improvement of program development systems. Our extension is implemented in a preprocessor which ensures a complete compatibility with any standard Pascal compiler. In this paper we examine the main features of some high‐level programming languages which support modularization and data abstraction and some experiences in introducing modularity into Pascal; on this basis we describe our choice in detail. The design and implementation details are discussed and some examples are presented.

show abstract