| |
Browse All Reviews > Software (D) > Programming Languages (D.3) > Language Classifications (D.3.2) > Data-Flow Languages (D.3.2...)
|
|
 |
|
|
| |
|
|
| |
1-4 of 4
Reviews about "Data-Flow Languages (D.3.2...)":
|
Date Reviewed |
| |
A theory of regular MSC languages
Henriksen J., Mukund M., Kumar K., Sohoni M., Thiagarajan P. Information and Computation 202(1): 1-38, 2005. Type: Article
Mechanisms for specifying and reasoning about collections of message sequence charts (MSCs) are addressed in this paper. MSCs are a helpful visual formalism used to capture system requirements during early design stages. The context he...
|
Apr 13 2006 |
| |
An extensional fixed-point semantics for nondeterministic data flow
Kearney P., Staples J. (ed) Theoretical Computer Science 91(2): 129-179, 1991. Type: Article
The authors describe a model of nondeterministic data flow that is abstracted from an underlying asynchronous deterministic behavior, thus representing nondeterminism resulting from a lack of information. For this construction of nonde...
|
Oct 1 1993 |
| |
Towards a formal foundation for DeMarco data flow diagrams
Tse T., Pong L. The Computer Journal 32(1): 1-12, 1989. Type: Article
The proposed formal treatment of dataflow diagrams such as those used by DeMarco, Jackson, Ross (in SADT), and others is based on an extension to Petri nets. The authors maintain that such a formal treatment makes it easier to develop ...
|
Oct 1 1990 |
| |
DFL: a data flow language
Patnaik L., Bhattacharya P., Ganesh R. Information Systems 9(2): 97-106, 1984. Type: Article
The language described is very similar to PASCAL in appearance. It is, however, a functional language for array-valued procedures. It supports expressing concurrent calculation of distinct array elements and of alternative values withi...
|
Jul 1 1985 |
| |
|
|
| |
|
