• Publications
  • Influence
Mixed Computation: Potential Applications and Problems for Study
  • A. Ershov
  • Computer Science
  • Theor. Comput. Sci.
  • 1 April 1982
TLDR
It is argued that the transformational approach is more fundamental, for it allows to describe mixed computation in all its variety and moreover, to relate mixed computation to other kinds of program manipulation: execution, optimization, macroprocessing, synthesis. Expand
On the Essence of Compilation
  • A. Ershov
  • Computer Science
  • Formal Description of Programming Concepts
  • 1977
On the Partial Computation Principle
  • A. Ershov
  • Computer Science
  • Inf. Process. Lett.
  • 1 April 1977
Partial Evaluation and Mixed Computation
TLDR
An algorithm of generali?.ation in the process of outside-in driving (forced unfolding of function calls ;n the l~zy evaluation semantics) which always tP.rminatP.s and produce~ а finite graph of states and transitions with а self-sufficient set of basic configurations. Expand
On programming of arithmetic operations
TLDR
The concepts used without explanation are taken from [1], and the text is intended to be user-friendly. Expand
Theory of Program Schemata
Programming, the second literacy
...
1
2
3
4
5
...