J. Poswig, G. Vrankar, and C. Morara. VisaVis: a higher-order functional visual programming language. Journal of Visual Languages and Computing, 5:83-111, 1994.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....representation directly, where the combination of program components is directed by the textual language syntax, such as Visual Haskell [46] and U. Schreiweis [51] Prolog Programming environment . Another approach is using a metaphor to guide the combination of program components, e.g. VisaVis [45], Pygmalion [57] and Clarity [1] In the rst category, some visual programming systems go little further than to translate a standard programming language into a visual representation. A good example is Visual Haskell [46] Visual Haskell [46] is a attempt to develop a visual equivalent for the ....

....module and an interface. The interface of each module speci es the functionality it provides to other modules and the facilities it needs from other modules. The system provides animation of program execution. The implementation is based on hypertext system KnowS. In the second category, VisaVis [45] is a functional visual language embedded in the Small Talk system. The interaction strategy of substitution brings ease of construction to visual programs and integrates higher order functions smoothly. The concept of supervised substitution prevents syntactical errors and realizes the ....

[Article contains additional citation context not shown here]

J. Poswig, G. Vrankar, and C. Morara. VisaVis: a higher-order functional visual programming language. Journal of Visual Languages and Computing, 5:83-111, 1994.

....is the way it handles higher order functions: because Visual Haskell is curried, higher order functions are as easy to construct as firstorder functions. There is no need for special function slots [99] and no enforced distinction between first order and higher order functions as in VisaVis [110]. Any construct a case87 CHAPTER 4. VISUAL HASKELL 88 expression, say can be a function, and can be applied in the same way as a named function. The next two sections briefly survey work on visual languages, and then introduce Visual Haskell by example. Following sections formally give the ....

....a higher order function. Visual Haskell s argument slots (section 4.5.1) are a generalisation of ESTL s function slots. ESTL also includes a visual notation for a polymorphic type system; this may be a good starting point for Visual Haskell s missing type notation. Poswig et al. describe VisaVis [110], a visual functional language based on Backus functional programming language FP [11] The language is essentially a visual dataflow language, with explicit support for higher order functions: function arguments are placed within icons of higher order functions. The VisaVis editor, implemented ....

[Article contains additional citation context not shown here]

Jorg Poswig, Guido Vrankar, and Claudio Moraga. VisaVis---a higher-order functional visual programming language. Journal of Visual Languages and Computing, 5:83--111, 1994.

....functions: because Visual Haskell is curried, higher order functions are as easy to construct as firstorder functions. There is no need for special function slots [99] and no enforced distinc88 CHAPTER 4. VISUAL HASKELL 89 tion between first order and higher order functions as in VisaVis [110]. Any construct a case expression, say can be a function, and can be applied in the same way as a named function. The next two sections briefly survey work on visual languages, and then introduce Visual Haskell by example. Following sections formally give the syntax of Visual Haskell as a ....

....a higher order function. Visual Haskell s argument slots (section 4.5.1) are a generalisation of ESTL s function slots. ESTL also includes a visual notation for a polymorphic type system; this may be a good starting point for Visual Haskell s missing type notation. Poswig et al. describe VisaVis [110], a visual functional language based on Backus functional programming language FP [11] The language is essentially a visual dataflow language, with explicit support for higher order functions: function arguments are placed within icons of higher order functions. The VisaVis editor, implemented ....

[Article contains additional citation context not shown here]

Jorg Poswig, Guido Vrankar, and Claudio Moraga. VisaVis---a higher-order functional visual programming language. Journal of Visual Languages and Computing, 5:83--111, 1994.

....on a final program, or to use a type system to dynamically constrain interconnection through incremental type checking. A number of visual functional programming systems have been constructed, incorporating parameterised polymorphism to constrain interconnection. For example, Poswig et al. s VisaVis[PVM94] is a general purpose language where interconnection is based on what they term less ad hoc polymorphism . However, types do not appear in program graphs. Braine and Clack s environment for the object oriented functional language Clover[BC97] is also based on type directed interconnection but no ....

J. Poswig, G. Vrankar, and C. Morara. VisaVis: a higher-order functional visual programming language. Journal of Visual Languages and Computing, 5:83--111, 1994.

....The functional paradigm is often chosen as the underlying computational model for VP because its simple semantics can be realised elegantly in standard data flow notation. Examples of visual functional languages include HI VISUAL [MYH84] viz [Hol90] VPL [LBF91] Cantana [RW91] and VISAVIS [PVM92]. None of these languages, however, offer the object oriented features we require. The object oriented paradigm doesn t lend itself as naturally to VP, partly because of the extra complexity that object oriented features introduce and partly because of the tendency of object diagrams (with nodes ....

J. Poswig, G. Vrankar, C. Moraga. VisaVis: a Higher-order Functional Visual Programming Language. Journal of Visual Languages and Computing, v5 (1995) 83111

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC