A mathematical language compiler

  title={A mathematical language compiler},
  author={J. Chipps and M. Koschmann and S. Orgel and A. Perlis and J. Smith},
  booktitle={ACM '56},
I. Introduction. A compiler may be defined as a program which satisfies the following four conditions: 1. Universality, i.e., the ability to translate into machine language any program which could have been coded in machine language. (This is trivially satisfied if the compiler can accept machine language.) 2. Direct machine translation of flow charts into a program. A flow chart is here understood to consist of an ordering of substitutional and relational statements; and connectives. 3… Expand
A Study on Iterative Code Optimization using Machine Learning
Code optimization leads to less time and resource consumption while executing the program. Machine learning techniques are used to optimize the code. Optimization most of the time carriedExpand
Compiler Optimization using Various Machine Learning Techniques
In this paper, we discuss the survey of various research papers to find an optimization method for compiler using machine learning techniques. Relationship between compiler optimization and machineExpand
Machine Learning in Compiler Optimization
The relationship between machine learning and compiler optimization is described and the main concepts of features, models, training, and deployment are introduced and a road map for the wide variety of different research areas is provided. Expand
Machine Learning in Compilers
The relationship between machine learning and compiler optimisation is described and the main concepts of features, models, training and deployment are introduced to provide a comprehensive survey and a road map for the wide variety of different research areas. Expand
In Search of Types
This essay explores various concepts lurking behind distinct uses of this word, highlighting two traditions in which the word came into use largely independently: engineering traditions on the one hand, and those of symbolic logic on the other. Expand
When Technology Became Language: The Origins of the Linguistic Conception of Computer Programming, 1950–1960
The article shows how the idea of a universal language was a decisive step in the emergence of programming languages, in the recognition of computer programming as a proper field of knowledge, and eventually in the way the authors think of the computer. Expand
Computing prior to FORTRAN
The life of the programmer in pre-FORTRAN days is characterized in modern terminology, indicating how strongly FORTRAN has changed the programmer's condition and working habits.
Programming systems and languages: a historical survey
  • S. Rosen
  • Computer Science
  • AFIPS '64 (Spring)
  • 1964
In 1953 most computing was being done by the Card-Programmed Calculator, an ingenious mating of an Electromechanical Accounting Machine with an Electronic Calculating Punch. Expand
A Note on the Applicaton of Graph Theory to Digital Computer Programming
  • R. Karp
  • Computer Science
  • Inf. Control.
  • 1960
It is shown that properties of directed graphs and the associated connection matrices can be used to detect errors and eliminate redundancies in programs. Expand