![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Insertion Programming
Basic concepts of insertion programming as a new technology of programming are proposed. An insertion program is constructed as a three-level system. The first level is represented by the text of the program i...
-
Article
A Rewriting Machine and Optimization of Strategies of Term Rewriting
An algebraic specification of a new rewriting machine for fast rewriting of terms is considered. Theorems on the correctness of this specification are proved. A method for optimization of a strategy of iterati...
-
Article
Semantics of Timed Message Sequence Charts
The paper describes an extended version of the well-known language of Message Sequence Charts (MSCs) with time specification of events. This extension is developed to verify requirements in interactive systems...
-
Article
Deductive tools of an algebraic programming system
A mathematical environment is a system of tools supporting interactive manipulation of knowledge represented in the form of (formalized) mathematical texts. A theoretical substantiation of a project proposed i...
-
Article
The evidence algorithm and problems of representation and processing of mathematical computer knowledge
A series of research works on the realization of the “evidence algorithm” program initiated by V. M. Glushkov in the sixties is described. The works are planned in the context of a new understanding of the the...
-
Article
Theorem proving in a mathematical information environment
-
Article
Objects in algebraic programming system
-
Article
Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations
-
Article
Paradigm of software component dictionaries for software development
-
Article
Optimizing compiler for the procedural subset of the algebraic programming language of the APS system
An L2B-L2C optimizing compiler has been developed for compiling the procedural subset of the interpreted untyped language APLAN of the algebraic programming system APS into C. Controlled automatic compiling of...
-
Article
Implementation of an optimizing compiler for the procedural subset of the algebraic programming language of the APS system
-
Article
Hardware simulation in distributed computing systems: Methods and tools
In this article, we consider a number of important issues of development, implementation, and use of simulation tools and methods as an essential part of the larger scientific and engineering problem of develo...
-
Article
Paralielization of the Buchberger algorithm
The paper proposes a declarative description of the Buchberger algorithm. This is an executable specification and it may serve as a source for the construction and justification of a whole family of various se...
-
Chapter
A
One of the generalizations of the Lebesgue integral, given by E. Titchmarsh [1] for the integration of functions conjugate to summable ones. A measurable function f(x) is called A-integrable over [a,b] if ...
-
Article
Basic paradigms of programming
-
Article
Implementation of the nielsen algorithm in the algebraic programming system APS-1
-
Article
Minimal realizations of discrete systems
-
Article
Algebraic programming: Methods and tools
-
Article
Iterative methods of program analysis: Equalities and inequalities
The paper studies the generating capacity of algorithms that generate program invariants by upper and lower approximation methods. The analysis is conducted on various algebras of data, such as free groups, ve...
-
Article
Implementation of MAYaK family languages for macropiplined multiprocessor computing systems
We describe the main implementation solutions for the MAYaK family of parallel programming languages, as determined by their distinctive features compared to sequential programming languages. These solutions h...