The concise explanation of the principles and then the development and application of denotational semantic for a class of parallel programminglanguages is given. The semantics of monitor type language constructs, wh...
详细信息
The concise explanation of the principles and then the development and application of denotational semantic for a class of parallel programminglanguages is given. The semantics of monitor type language constructs, which serve the synchronization of concurrent processes, is expressed by a designed system of semantic domains and semantic functions. The developed model is applied to a concrete parallel programming language.
We describe a possible implementation of nontraditional control mechanisms in modern programminglanguages via the procedural mechanism of the hardware-supported administrative system of the EL'BRUS multiprocessor...
详细信息
We describe a possible implementation of nontraditional control mechanisms in modern programminglanguages via the procedural mechanism of the hardware-supported administrative system of the EL'BRUS multiprocessor computing system.
There is a conceptual gap between problem statement and the application of programminglanguages. The evolutionary process of diminishing this gap, which is demonstrated by assembler languages, conventional higher pro...
详细信息
There is a conceptual gap between problem statement and the application of programminglanguages. The evolutionary process of diminishing this gap, which is demonstrated by assembler languages, conventional higher programminglanguages and VHL languages, has boundaries on two sides: on the side of the application abstraction the absence of fundamental theories and paradigms, on the side of the hardware abstraction the low level of abstraction of the von Neumann architecture as well as the tendency of the hardware designers to stick to the paradigm of the von Neumann computer. Language constructs for overcoming the gap are discussed with the aspects of implicit flow control and high level data structures. These constructs point to alternative computer architectures.
Notions and definitions for the functional approach to programminglanguages description are presented. Functional programminglanguages (FPL) and approaches to their interpretation are considered. FPL, employing vari...
详细信息
Notions and definitions for the functional approach to programminglanguages description are presented. Functional programminglanguages (FPL) and approaches to their interpretation are considered. FPL, employing variables and monotone constants of any order are investigated, interpreter for FPL of this type is described. FPL, employing monotone but not continuous functionals are explored. Approach to interpreter construction for this type of FPL is suggested.
The description of context relationships puts demands on the grammar of a programming language, which are not met by conventional content free grammars. This paper is concerned with several existing grammars for the d...
详细信息
The description of context relationships puts demands on the grammar of a programming language, which are not met by conventional content free grammars. This paper is concerned with several existing grammars for the description of context and presents a dynamically controlled grammar. This grammar has a variable set of rules dependent on any deduction step, and it can produce only words meeting the content requirements.
Most programminglanguages provide some mechanism for specifying what action is to be taken when an error is detected during program execution. When an error is detected, the authors say that an exception is raised. T...
详细信息
Most programminglanguages provide some mechanism for specifying what action is to be taken when an error is detected during program execution. When an error is detected, the authors say that an exception is raised. The action taken by a program when an exception is raised is determined by the exception handler defined for that particular exception. A key issue in the design of a programming language's exception-handling mechanism is established. This article addresses that problem for languages that allow expressions to be manipulated as data objects.
The problem of standardization in development of computer programs is considered. The concept of the programming language (PL) standard is defined. The PL standard is a set of program engineering means. Such means pro...
详细信息
The problem of standardization in development of computer programs is considered. The concept of the programming language (PL) standard is defined. The PL standard is a set of program engineering means. Such means provide the necessary level of interaction between real and potential PL carriers taking into account the interaction development dynamics. The standardization principles, defining the proposed conception of system-dynamic approach are formulated. The main principles are high technology, profitability and availability of standards. It is noted that the quality of standards must be improved using comparative estimation of opinions of the experts working out the standards components.
In this paper an attempt is made to analyse the role and impact of CHILL on the software development process. The relationship between software tools and methods is discussed, and an analysis is made of where future a...
详细信息
In this paper an attempt is made to analyse the role and impact of CHILL on the software development process. The relationship between software tools and methods is discussed, and an analysis is made of where future achievements in software technology could influence the position and role of CHILL.
The authors describe here the main structures of a parallel programming language which implements an asynchronous parallel computation model and is geared toward systems applications.
The authors describe here the main structures of a parallel programming language which implements an asynchronous parallel computation model and is geared toward systems applications.
Four programminglanguages (Fortran, Cobol, Jovial and the proposed DoD standard) are compared in the light of modern ideas of good software engineering practice. The comparison begins by identifying a core for each l...
详细信息
Four programminglanguages (Fortran, Cobol, Jovial and the proposed DoD standard) are compared in the light of modern ideas of good software engineering practice. The comparison begins by identifying a core for each language that captures the essential properties of the language and the intent of the language designers. These core languages then serve as a basis for the discussion of the language philosophies and the impact of the language on gross program organization and on the use of individual statements.
暂无评论