Godlevsky A.B.
Godlevsky A.B.
V.M.Glushkov Institute of Cybernetics
Verified email at incyb.kiev.ua
Title
Cited by
Cited by
Year
Iterative methods of program analysis
AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii
Cybernetics 25 (2), 139-152, 1989
291989
Properties of a predicate transformer of the VRS system
AA Letichevsky, AB Godlevsky, AA Letychevsky, SV Potiyenko, ...
Cybernetics and Systems Analysis 46 (4), 521-532, 2010
262010
Semantics of data exchanges in simple multimodule programs
AA Letichevskii, AB Godlevskii, AE Doroshenko, SL Krivoi
Programmirovanie 5, 3-12, 1983
81983
An efficient algorithm for constructing the basis of a subgroup of a free group
AA Letichevskii, AB Godlevskii, SL Krivoi
Cybernetics 17 (3), 407-416, 1981
81981
Backward transformation of formulas in symbolic modeling: from the result to the source formula
AB Godlevsky, SV Potienko
Problems of Programming 4, 363-368, 2010
72010
Iterative methods of program analysis: Equalities and inequalities
AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii
Cybernetics 26 (3), 307-318, 1990
61990
Reducibility of program-scheme functional equivalence on a nondegenerate basis of rank unity to the equivalence of automata with multidimensional tapes
AB Godlevskii, AA Letichevskii, SK Shukuryan
Cybernetics 16 (6), 793-799, 1980
61980
Synthesis methods for discrete models of biological systems
VM Glushkov, AA Letichevskii, AB Godlevskii
Vyshcha Shkola, Kyiv, 1983
51983
On some special case of the functional equivalence problem for discrete transformers
AB Godlevsky
Cybernetics, 32, 1974
51974
The Parallel Dynamical Semantics of Sequential Program that Allows Speculative and Incremental Computation
AB Godlevsky
Kibernetika i sistemny analiz, 131-153, 1996
41996
Parallelizing programs with APs
AB Godlevsky, AE Doroshenko
Proceedings of the 1993 international symposium on Symbolic and algebraic …, 1993
41993
On some specific cases of halting problem and equivalence problem for automata
AB Godlevsky
Cybernetics, 90, 1973
41973
Predicate transformers in the context of symbolic modeling of transition systems
AB Godlevsky
Cybernetics and Systems Analysis 46 (4), 602-608, 2010
32010
Constructing parallel implementations with algebraic programming tools
AE Doroshenko, AB Godlevsky
Proceedings the First Aizu International Symposium on Parallel Algorithms …, 1995
31995
Design of effective automaton-reduction algorithms for some equivalence relations
AB Godlevskii, SL Krivoi
Cybernetics 25 (6), 772-782, 1989
31989
On optimization of programs designed by ‘top-down’methods
AB Godlevskii, SL Krivoi
Information Processing Models and Systems [in Russian], 25-33, 1984
31984
Models and parallel programming abstractions for synchronization and communication
AE Doroshenko, AB Godlevsky, L Hluchý
COMPUTING AND INFORMATICS 18 (4), 361-381, 2012
22012
Parallelising programs with algebraic programming tools
AE Doroshenko, AB Godlevsky
European Conference on Parallel Processing, 685-690, 1995
21995
Implementation of MAYaK family languages for macropiplined multiprocessor computing systems
SN Berestovaya, AB Godlevskii, SS Gorokhovskii, YV Kapitonova, ...
Cybernetics 25 (3), 319-326, 1989
21989
Transformation of programs in the algebra of algorithms using invariant relationships
AB Godlevskii, YV Kapitonova, SL Krivoi, AA Letichevskii
Izv. Vyssh. Uchebn. Zaved. Priborostr 31, 17-20, 1988
21988
The system can't perform the operation now. Try again later.
Articles 1–20