![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Programs with restoration of computations
In this article, the notion of a program with restoration of computations is introduced, i.e., such a program that makes it possible to renew interrupted computations from any intermediate value obtained befor...
-
Article
Issues of algorithmics and glushkov’s systems of algorithmic algebras
-
Article
Complete interpretations of Ω-languages and free algebras of elements
-
Article
Approach to the construction of algebraic models of algorithms and programs
-
Article
On languages over an alphabet interpreted in a boolean algebra
-
Article
Multilevel block design of discrete devices using algorithmic algebras
-
Article
Algebra of algorithms and Kaluzhnin's graphschemas
-
Article
Glushkov algorithmic algebras and system modeling
-
Article
Orientir — audio tools for text construction
-
Article
Formalized program specifications and transformation synthesis
-
Article
Algebraic-grammatical models of parallel computation
The survey focuses on algebraic-grammatical models of parallel processes, representation of knowledge about classes of algorithms in terms of a variety of production systems (structured design grammars), and p...
-
Article
Algebraic-grammatical specifications and synthesis of structured program schemas
The paper proposes hierarchical specifications of classes of algorithms and programs (both sequential and parallel) in algebras of hyperschemas (AHS), based on Glushkov's systems of algorithmic algebras. Deriv...
-
Article
Multilevel structured program design: Past, present, and future
-
Article
Denotational semantics of mixed computation processes for a structural programming language
The paper formalizes two denotational models for mixed computation process in a structural programming language. A criterion of functional correctness is formulated and theorems are proved that show that the d...
-
Article
Theoretical and applied aspects of structured parallel programming
-
Article
Structured translator from a high-level language
-
Article
Problem-oriented systems as a resource of paperless decision-making technology
It is difficult in the framework of one article to generalize and systematize the rich factual material of investigations of traditional sore points in programming: the development of convenient languages and ...
-
Article
Generation of problem-oriented systems
-
Article
Multilevel synthesis of structured programs
-
Article
Multilevel structured program design: Formalization and applications