Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Workshop on Partial Evaluation and Mixed Computation
Papers
Paper
by M.A. Bulyonkov and A.P. Ershov "How do ad-hoc compiler constructs appear in universal mixed computation processes?"
Paper
by B.N. Ostrovsky "Implementation of controllable mixed computation into system for the automatic development of language-oriented parsers"
Paper
by N.N. Nepeivoda "Analogs of partial evaluation and mixed computation in a logical approach"
Paper
by B.N. Ostrovsky (Russian variant)
Paper
by A.I. Belousov "An input language structure for the parallel mixed computation model"
Paper
by A.V. Grokh and A.G. Krasovsky "Mixed calculation and verification of symbol manipulation"
Article
Paper, 19.01.1988(?)
"How do AD-HOC Compiler Constructs Appear in Universal Mixed Computation Processes?" by M.A.Bulyonkov and A.P.Ershov (for the conference proceedings)
Covering letter, 19.01.1988
to corrections to the paper
List
of corrections to the papers (typed and hand-written copies)
Paper, 19.01.1988
"An Algebra and Axiomatization System of Mixed Computation" by V.I.Itkin (for the conference proceedings)
Paper, 19.01.1988(?)
"A Theoretical Approach to Polyvariant Mixed Computation" by M.A.Bulyonkov (for the conference proceedings)

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