Alexander Sakharov
 
     
 

More Publications

Articles in Books                                            
Strukturnyj sintez programm pri nalichii dopolnitelnyh aksiom (The structural synthesis of program with using additional axioms), Avtomaticheskij Sintez Programm, Tallinn, 1983 (in Russian).

Bibliotechnye procedury sinteza program (A library of program synthesis procedures), Avtomaticheskij Sintez Programm, Tallinn, 1983 (in Russian).

Reshenie sistem uravnenij dlja velichin strukturnyh tipov (Solving simultaneous equations containing variables of structural types), Problemy Obrabotki Informacii, Leningrad, 1985 (in Russian).

D/M - vhodnoj jazyk sistemy upravlenija paketami prikladnyh programm dlja mikro-EVM (D/M: a language for controlling libraries of application programs on microcomputer systems), Dialogovye Mikrokompjuternye Sistemy, Moscow, 1986 (in Russian).

Rasshirenie FORTa v kachestve jazyka dlja EVM pjatogo pokolenija (An extension of FORTH as a language for the fifth-generation computers), Interpretirujushie Sistemy Programmirovanija i Ih Apparatnaja Podderzhka, Tallinn, 1988 (in Russian).

O problemah inzhenerii metaznanij (On meta-knowledge engineering), Instrumentalnye Sredstwa Podderzhki Programmirovanija, Leningrad, 1988 (in Russian).
 

Papers in Refereed Journals                                            
with Baranov, S. , Kirillin, V., Klubovich A., Nozdrunov, N. , Kross-sisterna K580/LGU (Cross system K580/LGU), Upravljajushie Sistemy i Mashiny, 1983, #3 (in Russian).

D/M - dialogovyj jazyk dlja upravlenija paketami prikladnyh programm (D/M: an interactive language for controlling application programming libraries), Upravljajushie Sistemy i Mashiny, 1985, #3 (in Russian).

Sredstva strukturnogo sinteza programm (A Means for the structural synthesis of programs), Programmirovanie, 1987, #1 (in Russian, this journal is translated into English under the title Programming and Computer Software).
 

Papers in Conference Proceedings                                            
with Katsev B.A. Dialogovaja sistema upravlenija paketami prikladnyh programm (An interactive control system for application programming libraries), Interaktivnye Sistemy, Tbilisi, 1983 (in Russian).

Vhodnoj jazyk sistemy upravlenija paketami prikladnyh programm (The language of a control system for application programming libraries), Avtomatizacija Proizvodstva Paketov Prikladnyh Programm i Transljatorov, Tallinn, 1983 (in Russian).

Strukturnyj sintez programm pri nalichii dopolnitelnyh aksiom (The structural synthesis of programs with using additional axioms), Sistemnoe i Teoreticheskoe Programmirovanie, Kishinev, 1983 (in Russian).

Specializirowannye algoritmy sinteza programm (Specialized algorithms for program synthesis), Primenenie Metodov Matematicheskoj Logiki, Tallinn, 1983 (in Russian).

Razvitie teorij strukturnogo sinteza programm (Developments in the theory of the structural synthesis of programs), Sedmaya Vsesojuznaja Konferencija po Matematicheskoj Logike, Novosibirsk, 1984 (in Russian).

Analiticheskoe reshenie uravnenij za polinomialnoe vremq (Solving symbolic equations in polynomial time), Sistemy dlja Analiticheskih Preobrazovanij w Mehanike, Gorkij, 1984 (in Russian).

Specifikacii i sintez programm w jazyke FORT (Specifying and synthesizing programs in the programming language FORTH), Sintez Programm, Ustinov, 1985 (in Russian).

Sintaksicheski orientirovannaja produkcionnaja sistema (A syntax-oriented production system), Primenenie Metodov Matematicheskoj Logiki, Tallinn, 1986 (in Russian).

with Novikov F.A. Tipizacija dannyh posredstvom paketov programm (Typing data with the aid of application programming libraries), Avtomatizacija Proizvodstva Sistem ProgranimirovaniJa, Tallinn, 1986 (in Russian).

Strukturnyj sintez programm: novye sredstva (The structural synthesis of programs: new means), Analiticheskie Vychislenija na EVM i Ih Primenenie v Teoreticheskoj Fizike, Dubna, 1986 (in Russian).
 

Back to Selected Publications

Need to relax? Try brain teasers. I would recommend those marked 'cool'.