Declarative programming languages (e.g., functional and logic programming languages) are semantically elegant and implicitly express parallelism at a high level. We show how a parallel declarative language can be based on a modern structured imperative language with single-assignment variables. Such a language combines the advantages of parallel declarative programming with the strengths and familiarity of the underlying imperative language. We introduce Declarative Ada, a parallel declarative language based on a subset of Ada. Declarative Ada integrates parallel and sequential composition, allowing sequential input and output from within parallel declarative programs
It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a ...
It is now rather easy to build the hardware of a multiprocessor computer, but still quite difficult ...
This paper describes OpenMP parser for Ada, which is meant to make parallel programming in Ada simpl...
Declarative programming languages (e.g., functional and logic programming languages) are semanticall...
Declarative parallel programming languages express and control parallelism at a high level of abstr...
Imperative programming languages were initially built for uniprocessor systems that evolved out of t...
In earlier work, we proposed extending Ada with a high-level parallel programming layer consisting ...
We investigate the practical integration of functional and imperative parallel programming in the co...
The increased presence of parallel computing platforms bringsconcerns to the general purpose domain ...
The art of designing parallel programs is underdeveloped because we do not understand parallelism c...
It is now rather easy to build the hardware of a multiprocessor computer, but still quite difficult ...
This paper describes how parallel dataflow programming can be simply and efficiently integrated with...
International Real-Time Ada Workshop (IRTAW 2015). 20 to 22, Apr, 2015. Pownal, U.S.A..The approach ...
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015),...
AbstractA subset of ADA is introduced, ADA-CF, to study the basic synchronization and communication ...
It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a ...
It is now rather easy to build the hardware of a multiprocessor computer, but still quite difficult ...
This paper describes OpenMP parser for Ada, which is meant to make parallel programming in Ada simpl...
Declarative programming languages (e.g., functional and logic programming languages) are semanticall...
Declarative parallel programming languages express and control parallelism at a high level of abstr...
Imperative programming languages were initially built for uniprocessor systems that evolved out of t...
In earlier work, we proposed extending Ada with a high-level parallel programming layer consisting ...
We investigate the practical integration of functional and imperative parallel programming in the co...
The increased presence of parallel computing platforms bringsconcerns to the general purpose domain ...
The art of designing parallel programs is underdeveloped because we do not understand parallelism c...
It is now rather easy to build the hardware of a multiprocessor computer, but still quite difficult ...
This paper describes how parallel dataflow programming can be simply and efficiently integrated with...
International Real-Time Ada Workshop (IRTAW 2015). 20 to 22, Apr, 2015. Pownal, U.S.A..The approach ...
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015),...
AbstractA subset of ADA is introduced, ADA-CF, to study the basic synchronization and communication ...
It is proposed that Normal Logic Programs with an explicit time ordering are a suitable basis for a ...
It is now rather easy to build the hardware of a multiprocessor computer, but still quite difficult ...
This paper describes OpenMP parser for Ada, which is meant to make parallel programming in Ada simpl...
Add to ORKG