The activity of research group of massively parallel programming language is introduced. This group is developing two types of languages. The first one is the SIMD type language called NCX which is oriented toward dat...
详细信息
The activity of research group of massively parallel programming language is introduced. This group is developing two types of languages. The first one is the SIMD type language called NCX which is oriented toward data parallel execution, and the second is the MIMD type highly asynchronous language called V, which is oriented toward data parallel and concurrent object oriented language. The NCX is designed as a data parallel extension of the language C in order to support practical massively parallel computations especially in the application area of scientific computations. The language V on the other hand is designed as an experimental language for exploring a new massively parallel programming paradigm.
Data parallel programming is becoming an increasingly important tool for exploiting parallelism in data-intensive applications, especially on SIMD and vector computers. Many algorithms appearing in such applications a...
详细信息
ISBN:
(纸本)089791595X
Data parallel programming is becoming an increasingly important tool for exploiting parallelism in data-intensive applications, especially on SIMD and vector computers. Many algorithms appearing in such applications are very succinctly expressed in data parallel languages: this indicates that data parallel programming can be a powerful abstract programming paradigm rather than just a syntax for explicit programming of SIMD computers. The data parallel languages in practical use today are, however, exponents of exactly the latter point of view: even though they incorporate some elements of abstraction, their semantics are all to some extent based on a SIMD execution model. Therefore it is hard to use these languages to express algorithms in the problem domain in an abstract, machine-independent way. This is likely to make programming in these languages more error-prone and programs less portable than if they had been designed with a more clean-cut abstract semantics. Here, we present some mathematical definitions of data parallel primitives that can be used to guide the design of data parallel languages with a higher level of abstraction. The key idea is to view data parallel entities as tabulated functions where the tables are stored in a distributed fashion. Operations on data parallel entities are then simply operations on functions, just as operations in pure functional languages. An interesting observation is that also traditional data structures, like lists and arrays, are covered by our view. This illustrates the level of abstraction achieved. An especially interesting possibility is to integrate data parallel and higher order functional languages. Data parallel entities are then just a particular class of functions that can be represented in a particular way. We believe that such languages are very suitable as specification languages for data parallel algorithms.
The schematic pseudocode, a formal schematic notation for the representation of the structure of programminglanguages, is proposed. This notation is independent of any programming language. The schematic pseudocode c...
详细信息
ISBN:
(纸本)0897911733
The schematic pseudocode, a formal schematic notation for the representation of the structure of programminglanguages, is proposed. This notation is independent of any programming language. The schematic pseudocode contains both symbolic and perceptual elements. The two elements are independent, one conveying information on the content of the sets and the other conveying information on the relations between sets. A software tool, named SCHEMACODE, supports the use of this language and automatically generates source code in target procedural language. Comments are given on the use of this approach to make programs over the past three years. The niche that SCHEMACODE occupies in the gamut of programming aids is defined in terms of its input, functions, and output. Other methods of classification are also used. The salient features of the schematic pseudocode and its computer automation are stressed.
Control abstraction is the process by which programmers define new control constructs, specifying a statement ordering separately from an implementation of that ordering. It is argued that control abstraction can and ...
详细信息
ISBN:
(纸本)0818625856
Control abstraction is the process by which programmers define new control constructs, specifying a statement ordering separately from an implementation of that ordering. It is argued that control abstraction can and should play a central role in parallel programming. Control abstraction can be used to build new control constructs for the expression of parallelism. A control construct can have several implementations, representing the varying degrees of parallelism to be exploited on different architectures. Control abstraction also reduces the need for explicit synchronization, since it admits a precise specification of control flow. Several examples are used to illustrate the benefits of control abstraction. It is also shown that one can efficiently implement a parallel programming language based on control abstraction. It is argued that, because of the enormous benefits and reasonable costs of control abstraction, it should be included in explicitly parallel programminglanguages.
The author explores some possibilities for the programminglanguages of the next century. Projections are based on what has and has not been accomplished in the last four decades and the programming tools proposed for...
详细信息
ISBN:
(纸本)0818608749
The author explores some possibilities for the programminglanguages of the next century. Projections are based on what has and has not been accomplished in the last four decades and the programming tools proposed for the next decade. Influencing programming language directions at both the high levels of software development (e.g., problem decomposition) and at the lower levels (e.g., algorithm implementation) will be parallel execution. There could (finally) come a serious break with the traditional languages such as Fortran, Algol, PL-1, Pascal, C, and Ada. Very-high-level languages (VHLL) could take over in popularity. Within an increasing number of domains, the programming, in addition to man-machine interfaces, will be accomplished through multiple media (VHLL, speech, natural language, mouse, menus, touch screen, etc.).
The present paper focuses on the combination of programminglanguages as an effective approach towards teaching process design concepts. The cornerstone for the success of this approach is the combination of widesprea...
详细信息
The present paper focuses on the combination of programminglanguages as an effective approach towards teaching process design concepts. The cornerstone for the success of this approach is the combination of widespread techniques, such as spreadsheets, with high-level languages as C or FORTRAN and object-oriented languages such as JAVA or Visual BASIC. This paper specifically demonstrates the combination of Microsoft Excel with FORTRAN programs, through a Visual BASIC interface. The popularity of spreadsheets makes them the ideal tools to illustrate nonlinear interrelations among different design variables in complex processes. These variables, however, are typically connected through a complex set of algebraic and differential equations, whose solution demands a robust numerical approach. Students are frequently distracted or frustrated in trying to deal with these difficulties. When these calculations are not essential to the process design principles being demonstrated, instructor-developed "black boxes" can be used to carry out cumbersome calculations in the background. This synergetic effect enables to highlight the most relevant process synthesis principles, while the student is kept away from the mathematical and numerical complexities involved in the solution of the problem. The case study presented serves to illustrate the effectiveness of a proper combination of programming techniques with conceptual design ideas.
作者：
Lucas, SalvadorDSIC
Univ. Politécnica de Valencia Camino de Vera s/n 46022 Valencia Spain
This paper provides a brief account of motivation, themes, and research directions leading to the round table on Strategies in programminglanguages Today organized as part of the 4th International Workshop on Reducti...
详细信息
Source code re-use has become an important problem in academia. The amount of code available makes necessary to develop systems supporting education that could address the problem of detection of source code re-use. W...
详细信息
The paper starts with a description of the different categories of programminglanguages available, discusses in general terms their advantages and disadvantages, and summarizes their applicability to microprocessor p...
详细信息
The paper starts with a description of the different categories of programminglanguages available, discusses in general terms their advantages and disadvantages, and summarizes their applicability to microprocessor programming. The second part describes some of the basic techniques used in programming and goes on to explain how various desirable features of a program such as clarity, reliability, ease of writing, etc. can be improved by the use of macros, subroutines, and other similar techniques. Finally some examples are given of how some of the benefits of structured programming can be introduced into existing assembler languages.
New concepts can sometimes be developed by viewing a well established subject matter from a different perspective. A new perspective which has the potential for developing new concepts for designing and defining proce...
详细信息
ISBN:
(纸本)0897913485
New concepts can sometimes be developed by viewing a well established subject matter from a different perspective. A new perspective which has the potential for developing new concepts for designing and defining procedural programminglanguages is presented.
暂无评论