Assembly language as object code
@article{Jones1983AssemblyLA, title={Assembly language as object code}, author={Douglas W. Jones}, journal={Software: Practice and Experience}, year={1983}, volume={13} }
The set of meanings that may be encoded in most object languages is a subset of the meanings that may be encoded in most assembly languages. Careful exploitation of this fact in the design of the SMAL assembly and object language allows the SMAL assembler itself to be used as a linkage editor, thus eliminating the need for an expensive and often misunderstood system program. The SMAL assembler is no more complex than many assemblers in common use today, nor are the relevant aspects of the SMAL…
4 Citations
Relocating machine instructions by currying
- Computer SciencePLDI '96
- 1996
The New Jersey Machine-Code Toolkit is an application generator that helps programmers create applications that manipulate machine code, including linkers that relocates machine instructions that are machine-independent.
Improved interpretation of UNIX-like file names embedded in data
- Computer ScienceCACM
- 1984
In systems using tree structured directories, the common practice of including file names as data in some of the files leads to difficulties in moving or sharing that data.
The ultimate RISC
- Art, Computer ScienceCARN
- 1988
The ultimate RISC architecture presented here is an extreme yet simple illustration of such an architecture, which has only one instruction, move memory to memory, yet it is useful.
A minimal CISC
- Computer ScienceCARN
- 1988
The minimal CISC architecture presented here is an extremely simple zero-address architecture suitable for microprogrammed implementation. It is sufficiently simple to be introduced in one lecture,…
References
SHOWING 1-10 OF 11 REFERENCES
A Proposed Target Language for Compilers on Atlas
- Computer ScienceComput. J.
- 1962
With the technique of independently compiled routines, alterations to a program do not require the whole program to be re-compiled: only the relevant routines, and programmers are not discouraged from making corrections in source language, rather than in binary.
A machine‐independent linker
- Computer ScienceSoftw. Pract. Exp.
- 1982
The linker embodies those linking functions that are machine‐independent and centralizes them in a single tool, simplifying compilers, assemblers, and loaders.
Communications between independently translated blocks
- Computer ScienceCACM
- 1962
This paper presents a solution to the problem of communication between independently translated blocks that is largely derived from the following two existing programming systems: (a) the FORTRan-FAP system for the IBM 7090 and (b) the GENIE system forThe Rice Institute Computer.
A type-checking program linkage system for pascal
- Computer ScienceICSE '78
- 1978
A new linkage subsystem allows the compile-time verification of type-correctness of Pascal programs to be extended uniformly across program module interfaces and extends not only those diagnostics formerly restricted to compilation, but also the post-mortem diagnostic capability of the progranming system, and without sacrifice of run-time efficiency.
Linkers and Loaders
- BusinessCSUR
- 1972
This is a tutorial paper on the linking and loading stages of the language transformation process, and the hnking process is treated in terms of the various times at which it may occur.
High-level binding with low-level linkers
- Computer ScienceCACM
- 1976
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…
A semi-automatic storage allocation system at loading time
- Computer ScienceCACM
- 1961
The method of storage allocation described herein, although new in a few respects, does not represent any sharp break from the past. Rather it is another step of development suggested by experience…
Thoth, a portable real-time operating system
- Computer ScienceCACM
- 1979
Thoth is a real-time operating system which is designed to be portable over a large set of machines by providing efficient interprocess communication primitives.
Loader standardization for overlay programs
- Computer ScienceCACM
- 1969
The overlay capability is described for four of the third generation computer systems: CDC-6000, GE-635, IBM-360, and UNIVAC-1108; a proposal that overlay software incorporates a memory occupation specification concept instead of the conventional tree structure is delineated.
The Mythical Man-Month
- Computer Science
- 1975
The author will list some of the assertions in the book and invite dispute or support from the audience in this public discussion of the published book.