"How do ad-hoc compiler constructs appear in universal mixed computation processes?" (a typed copy in Russian)

"How do ad-hoc Compiler Construct Appear in Universal Mixed Computation Processes?" prepared at the Conference on Applied Logic

on program decomposition

a table "comp=cocom(Int)"

to specialization of recursive interpreter

a rough copy of the table "cocom=Mix_Mix"

concerned with the paper

of deriving an object code from a recursive interpreter

to specialization of a one-loop interpreter for an ALGOL-like language

of deriving an object code from a one-loop interpreter

reliable information taken as a basis of the paper

for the talk at the Conference on Applied Logic

on the theme "Mixed computation: Potential Applications and Problems for Study"

a typed copy of the paper "Mixed Computation: Potential Applications and Problems for Study" in English

a hand-written copy of the paper "Mixed Computation: Potential Applications and Problems for Study" in English

at the French-Soviet colloquium

first thoughts on the way to Paris

with a request to read and correct the proof of his article

about publishing a paper on mixed computation in "Theoretical Computer Science" journal