article

Free access

High-level binding with low-level linkers

Author:

Richard G. HamletAuthors Info & Claims

Communications of the ACM, Volume 19, Issue 11

Pages 642 - 644

https://doi.org/10.1145/360363.360371

Published: 01 November 1976 Publication History

PDF eReader

Abstract

An easy to implement scheme is described by which a compiler can enforce agreement between complex data types in separately compiled modules. The scheme is designed to work with any existing link editor or linking loader, no matter how deficient. Obscure runtime errors caused by inconsistent usages are forestalled by static errors detected at linking time.

References

[1]

Brooks, F.P., Jr. The second-system effect. In The Mythical Man-month, Essays on Software Engineering. Addison-Wesley, Reading, Mass., pp. 1975, pp. 53-58.

Google Scholar

[2]

Burroughs Corp. B6700 Program Binder (form 5000045). Detroit, Mich., 1970.

Google Scholar

[3]

Sperry Rand Corp. 1100 Series Executive System (form UP- 4144). St. Paul, Minn., 1975.

Google Scholar

[4]

Basili, V.R., and Turner, A.J. A transportable extendable compiler. Software--Practice and Experience 5 (July 1975). 297- 3-8.

Crossref

Google Scholar

[5]

van Wijngaarden, A., et al. Revised report on the algorithmic language Algol 68. University of Alberta Comput. Sci. Dep. Rep. TR74-3, Edmonton, Calgary, Canada, 1974.

Google Scholar

[6]

Hamlet, R.G. Introduction to Computation Theory. Intext Ed. Pub., New York, 1974.

Google Scholar

Cited By

View all

Jones D(2006)Assembly language as object codeSoftware: Practice and Experience10.1002/spe.438013080613:8(715-725)Online publication date: 30-Oct-2006
https://doi.org/10.1002/spe.4380130806
Fraser CHanson D(2006)A machine‐independent linkerSoftware: Practice and Experience10.1002/spe.438012040712:4(351-366)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380120407
Hanson D(2006)Is block structure necessary?Software: Practice and Experience10.1002/spe.438011080811:8(853-866)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380110808
Show More Cited By

High-level binding with low-level linkers
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages

Recommendations

Part-compilation in high-level languages
Abstract
Many programming languages include the ability to divide large programs into smaller segments, which are compiled separately. When a small modification is made to a large program, then the affected segment only has to be re-compiled.

This paper ...
Bypassing portability pitfalls of high-level low-level programming
VMIL '12: Proceedings of the sixth ACM workshop on Virtual machines and intermediate languages

Program portability is an important software engineering consideration. However, when high-level languages are extended to effectively implement system projects for software engineering gain and safety, portability is compromised--high-level code for ...
A simple separate compilation mechanism for block-structured languages

A very simple and efficient technique for the introduction of separate compilation facilities into compilers for block-structured languages is presented. Using this technique, programs may be compiled in parts while the compile-time checking advantages ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 19, Issue 11

Nov. 1976

54 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/360363

Editor:
Robert L. Ashenhurst
Univ. of Chicago, Chicago, IL

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1976

Published in CACM Volume 19, Issue 11

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
286
Total Downloads

Downloads (Last 12 months)55
Downloads (Last 6 weeks)10

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Jones D(2006)Assembly language as object codeSoftware: Practice and Experience10.1002/spe.438013080613:8(715-725)Online publication date: 30-Oct-2006
https://doi.org/10.1002/spe.4380130806
Fraser CHanson D(2006)A machine‐independent linkerSoftware: Practice and Experience10.1002/spe.438012040712:4(351-366)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380120407
Hanson D(2006)Is block structure necessary?Software: Practice and Experience10.1002/spe.438011080811:8(853-866)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380110808
Hanson D(2006)A simple technique for controlled communication among separately compiled modulesSoftware: Practice and Experience10.1002/spe.43800911069:11(921-924)Online publication date: 27-Oct-2006
https://doi.org/10.1002/spe.4380091106
Scott MFinkel R(1988)A Simple Mechanism for Type Security Across Compilation UnitsIEEE Transactions on Software Engineering10.1109/32.763114:8(1238-1239)Online publication date: 1-Aug-1988
https://dl.acm.org/doi/10.1109/32.7631
Rudmik AMoore B(1982)An efficient separate compilation strategy for very large programsACM SIGPLAN Notices10.1145/872726.80700417:6(301-307)Online publication date: 1-Jun-1982
https://dl.acm.org/doi/10.1145/872726.807004
Rudmik AMoore BWhite JAllen F(1982)An efficient separate compilation strategy for very large programsProceedings of the 1982 SIGPLAN symposium on Compiler construction10.1145/800230.807004(301-307)Online publication date: 23-Jun-1982
https://dl.acm.org/doi/10.1145/800230.807004
Kieburtz RBarabash WHill CWilkes MBelady LSu YHayman HEnslow P(1978)A type-checking program linkage system for pascalProceedings of the 3rd international conference on Software engineering10.5555/800099.803186(23-28)Online publication date: 10-May-1978
https://dl.acm.org/doi/10.5555/800099.803186
Fischer CLeBlanc R(1977)Efficient implementation and optimization of run-time checking in PASCALProceedings of an ACM conference on Language design for reliable software10.1145/800022.808308(19-24)Online publication date: 1-Mar-1977
https://dl.acm.org/doi/10.1145/800022.808308
Fischer CLeBlanc R(1977)Efficient implementation and optimization of run-time checking in PASCALACM SIGSOFT Software Engineering Notes10.1145/390019.8083082:2(19-24)Online publication date: 1-Mar-1977
https://dl.acm.org/doi/10.1145/390019.808308
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Part-compilation in high-level languages

Bypassing portability pitfalls of high-level low-level programming

A simple separate compilation mechanism for block-structured languages

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations