Archive
Theoretical Research
Mixed Computation
Paper
"How do ad-hoc compiler constructs appear in universal mixed computation processes?" (a typed copy in Russian)
Paper, 23.10.1985
"How do ad-hoc Compiler Construct Appear in Universal Mixed Computation Processes?" prepared at the Conference on Applied Logic
Rough notes, 13.10.1985
on program decomposition
Table
a table "comp=cocom(Int)"
Rough notes
to specialization of recursive interpreter
Table
a rough copy of the table "cocom=Mix_Mix"
Rough notes
concerned with the paper
Program
of deriving an object code from a recursive interpreter
Rough notes
to specialization of a one-loop interpreter for an ALGOL-like language
Program
of deriving an object code from a one-loop interpreter
Rough notes, 19.09.1985-04.10.1985
reliable information taken as a basis of the paper
Rough notes, 16.09.1985-01.10.1985
Drafts for slides
for the talk at the Conference on Applied Logic
Bibliography, 13.09.1979
on the theme "Mixed computation: Potential Applications and Problems for Study"
Paper, 09.12.1980
a typed copy of the paper "Mixed Computation: Potential Applications and Problems for Study" in English
Paper, 04.10.1979-01.12.1980
a hand-written copy of the paper "Mixed Computation: Potential Applications and Problems for Study" in English
Outline of the paper, 02.10.1978
at the French-Soviet colloquium
Outline of the paper, 01.10.1978
first thoughts on the way to Paris
Letter, 14.08.1981
with a request to read and correct the proof of his article
Letter (hand-written), A.P. Ershov->M. Nivat, 16.12.1980
about publishing a paper on mixed computation in "Theoretical Computer Science" journal

1 2 3
Initial order | In alphabetical order | By date

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016