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

"Polyvariant mixed computation for analyzer programs"

notes made during the School on Mixed Computation

by M.A. Bulyonkov and A.P. Ershov "How do ad-hoc compiler constructs appear in universal mixed computation processes?"

"How do ad-hoc Compiler Construct Appear in Universal Mixed Computation Processes?"

carried out as part of the 10th Anniversary of the IIS SB RAS. Topics: 1. Problems of education and teaching, in particular, in universities; 2. organization of cooperation between companies and educational institutions /blackpaper and edited versions of the recording/

of the Conference with the list of topics and Program Committee members

with prospective title and time of presentation

to the PSI Conference

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

on program decomposition

about the fact that some construction earlier introduced by the author was used in the paper "Polyvariant mixed computation for analyzer programs" by M.A. Bulyonkov without proper reference

about correction and typing of papers

of the IIS director on the formation of the research group on mixed computations (2 copies)

Invitation to contribute to the collection "Problems of system and theoretical programming"

a table "comp=cocom(Int)"

to specialization of recursive interpreter