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}
}
  • Douglas W. Jones
  • Published 1 August 1983
  • Linguistics, Computer Science
  • Software: Practice and Experience
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
TLDR
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
TLDR
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
TLDR
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
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
TLDR
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
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
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
TLDR
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
TLDR
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
TLDR
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.
...
...