Abstract: The Norma language is a tool aimed at automated solution of the mathematical physics problems on parallel computer systems. The purpose of the Norma language is to eliminate the programming phase which is necessary to pass from computation formulas, derived by an application specialist to a computer program. There is no essential difference between computation formulas and the Norma program structures - these formulas are an input for the Norma translation system. In fact, the Norma program is a nonprocedural description of problems to be solved. The mathematical problems connected with the synthesis of output program are solvable in case of the Norma language. Draft description of Norma language is given.Note: ...
A central problem in designing a specification language for programming problems is that of making i...
This paper reports progress on the development of the programming language Natural, currently under ...
Vita.It is widely recognized that a specification of a system's intended action is required before t...
Abstract: This book is the User Guide on compiler and configurator for Norma language prog...
Abstract: The definition and implementation of control points for the Norma language is co...
Abstract: The application of nonprocedural language NORMA for the solution of the nonstati...
Abstract: Implementation problems of the reduction functions for distributed systems are t...
Abstract: In this article authors provide the declarative approach to software development...
Abstract: This article is dedicated to the Debugger for the parallel programs on the NORMA...
Abstract: The possibility to use NORMA language for implementing some well known tests fro...
This paper presents an algorithm for translating concurrent procedural language programs into nonpro...
Natural is a language designed to provide a vehicle for the expression of abstract programming conce...
Abstract: Methods for automatic translation of nonprocedural specifications to executable ...
reasoning, trace semantics. Parallel computers have not yet had the expected impact on mainstream co...
AbstractFormal language theory constitutes the theoretical support for programming languages and is ...
A central problem in designing a specification language for programming problems is that of making i...
This paper reports progress on the development of the programming language Natural, currently under ...
Vita.It is widely recognized that a specification of a system's intended action is required before t...
Abstract: This book is the User Guide on compiler and configurator for Norma language prog...
Abstract: The definition and implementation of control points for the Norma language is co...
Abstract: The application of nonprocedural language NORMA for the solution of the nonstati...
Abstract: Implementation problems of the reduction functions for distributed systems are t...
Abstract: In this article authors provide the declarative approach to software development...
Abstract: This article is dedicated to the Debugger for the parallel programs on the NORMA...
Abstract: The possibility to use NORMA language for implementing some well known tests fro...
This paper presents an algorithm for translating concurrent procedural language programs into nonpro...
Natural is a language designed to provide a vehicle for the expression of abstract programming conce...
Abstract: Methods for automatic translation of nonprocedural specifications to executable ...
reasoning, trace semantics. Parallel computers have not yet had the expected impact on mainstream co...
AbstractFormal language theory constitutes the theoretical support for programming languages and is ...
A central problem in designing a specification language for programming problems is that of making i...
This paper reports progress on the development of the programming language Natural, currently under ...
Vita.It is widely recognized that a specification of a system's intended action is required before t...