scholarly journals A Toolkit for Supporting Formal Verification of Programs in the Functional Data-flow Parallel Programming Language

2015 ◽  
Vol 4 (2) ◽  
Keyword(s):  
Formal Verification ◽  
Parallel Programming ◽  
Programming Language ◽  
Functional Data ◽  
Data Flow ◽  
Parallel Programming Language

scholarly journals Formal Verification of Programs in Functional Dataflow Parallel Language

2015 ◽  
Vol 19 (5) ◽  
pp. 81-99
Author(s):  
M. S. Kropacheva ◽  
A. I. Legalov
Keyword(s):  
Formal Verification ◽  
Parallel Programming ◽  
Programming Language ◽  
Functional Data ◽  
Data Flow ◽  
Formal System ◽  
Axiomatic Approach ◽  
Parallel Programs ◽  
Parallel Language ◽  
Parallel Programming Language

The article is devoted to the methods of proving parallel programs correctness that are based on the axiomatic approach. Formal system for functional data-flow parallel programming language Pifagor is described. On the basis of this system programs correctness could be proved.

Parallel Programming Language Adetran

1995 ◽  
pp. 429-465
Author(s):  
Koji Zaiki ◽  
Akiyoshi Wakatani ◽  
Tadashi Okamoto ◽  
Katsuyuki Kaneko ◽  
Tatsuo Nogi
Keyword(s):  
Parallel Programming ◽  
Programming Language ◽  
Parallel Programming Language

SC-EXPRESSIONS IN OBJECT-ORIENTED LANGUAGES

2007 ◽  
Vol 18 (06) ◽  
pp. 1441-1452
Author(s):  
SHENG YU ◽  
QING ZHAO
Keyword(s):  
Parallel Programming ◽  
Programming Language ◽  
Object Oriented ◽  
Automata Theory ◽  
Basic Ideas ◽  
Basic Features ◽  
Synchronization Constraints ◽  
Object Oriented Languages ◽  
Parallel Programming Language

In this paper, SC-expressions are developed, based on automata theory, for specifying synchronization constraints in parallel object-oriented languages. The predecessor of SC-expressions, the synchronization expressions, was introduced in the ParC parallel programming language in the early nineties [19]. However, ParC is not an object-oriented language and also a number of basic features of synchronization expressions are inadequate for object-oriented languages. SC-expressions are developed for object-oriented environment. They are different from synchronization expressions in basic ideas and assumptions. Here we describe the basic ideas of SC-expressions and their applications in object-oriented languages. We also study the problem of inheritance of the SC-expressions.

Scout: a data-parallel programming language for graphics processors

2007 ◽  
Vol 33 (10-11) ◽  
pp. 648-662 ◽  
Author(s):  
Patrick McCormick ◽  
Jeff Inman ◽  
James Ahrens ◽  
Jamaludin Mohd-Yusof ◽  
Greg Roth ◽  
...  
Keyword(s):  
Parallel Programming ◽  
Programming Language ◽  
Graphics Processors ◽  
Data Parallel ◽  
Data Parallel Programming ◽  
Parallel Programming Language
Sign in / Sign up

Export Citation Format

Share Document