The impact of abstraction concerns on modern programming languages

1 January 1980

journal article
research article
Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE

Vol. 68 (9) , 1119-1130
https://doi.org/10.1109/proc.1980.11811

Abstract

The major issues of modern software are its size and complexity, and its major problems involve finding effective techniques and tools for organization and maintenance. This paper traces the important ideas of modern programming languages to their roots in the problems and languages of the past decade and shows how these modern languages respond to contemporary problems in software development. Modern programming's key concept for controlling complexity is abstraction-that is, selective emphasis on detail; new developments in programming languages provide ways to support and exploit abstraction techniques.

Keywords

This publication has 40 references indexed in Scilit:

Toward relaxing assumptions in languages and their implementations
ACM SIGPLAN Notices, 1980
Specification and verification of the UCLA Unix security kernel
Communications of the ACM, 1980
Preliminary Ada reference manual
ACM SIGPLAN Notices, 1979
Constructing verified and reliable communications processing systems
ACM SIGSOFT Software Engineering Notes, 1977
Abstraction and verification in Alphard
Communications of the ACM, 1977
Modula: A language for modular multiprogramming
Software: Practice and Experience, 1977
Security Kernel validation in practice
Communications of the ACM, 1976
A view of program verification
ACM SIGPLAN Notices, 1975
Global variable considered harmful
ACM SIGPLAN Notices, 1973
Protection in programming languages
Communications of the ACM, 1973