Title :
Control flow in a dataflow language
Author_Institution :
Comput. Lab., Newcastle upon Tyne Univ., UK
Abstract :
A declarative visual language should describe operational algorithms easily if it is to be used for systems and application development: a causal transition model with temporal properties expressed as pre- and post-conditions must be a part of its semantics. The embedding of this `control flow´ within dataflow is analogous to the construction of `control flow´ CPUs using dataflow wires and registers, with hardware bits extended to software values drawn from the universal domain
Keywords :
formal languages; visual languages; CUBE; Hyperflow; VisaVis; application development; causal transition model; dataflow language; declarative visual language; operational algorithms; temporal properties; Application software; Circuits; Embedded software; Hardware; Signal design; Signal generators; Storms; Visualization; Wires;
Conference_Titel :
Visual Languages, 1993., Proceedings 1993 IEEE Symposium on
Conference_Location :
Bergen
Print_ISBN :
0-8186-3970-9
DOI :
10.1109/VL.1993.269556
