J. Poswig, K. Teves, G. Vrankar & C. Moraga (1992) VisaVis-contributions to practice and theory of highly interactive visual languages. IEEE Workshop on Visual Languages. Seattle, Washington, September, pp. 155}162.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....are represented as icons. Since the type system is a visual rendition of Milner s type system, the programmer is required to thoroughly understand the Milner system, including polymorphic types, type variables, and types of higher order functions. The type system of the functional VPL VisaVis [33, 34] differs from the above in that VisaVis incorporates implicit less ad hoc polymorphism. Ad hoc polymorphism means that, for each different monomorphic type a function supports, a different implementation is required. That is, only a one to one relationship is allowed between a function s types ....

J. Poswig, K. Teves, G. Vrankar & C. Moraga (1992) VisaVis-contributions to practice and theory of highly interactive visual languages. IEEE Workshop on Visual Languages. Seattle, Washington, September, pp. 155}162.

....by adding a static polymorphic type system and higher order functions. It was the first visual language to use Hindley Milner type inference. Cube [57, 58] in turn is a successor of Show and Tell and ESTL, it transfers some key ideas from these two languages to visual logic programming. VisaVis [65] is a visual language with a data flow based syntax, whose semantics is based on FFP, the higher order version of FP [3] Its type inference system is based on Wand s type inference algorithm, which in turn is a variation of the Hindley Milner algorithm. Recently, Poswig and Moraga modified the ....

....that a well typed program is type safe, i.e. that it will not fail at runtime due to a type error. We were the first to propose the use of Hindley Milner type inference for visual languages and to make strong guarantees about type safety [56] Our work has influenced several other visual languages [8, 65, 66]. ffl Cube is based on Horn logic, a powerful, declarative formalism. Horn logic was first proposed as a programming language by Robert Kowalski in the 1970 s [40] Prolog [13] jointly developed by him and Alain Colmerauer, is the most widespread logic programming language to date. Logic ....

Jorg Poswig, Klaus Teves, Guido Vrankar, and Claudio Moraga. VisaVis -- Contributions to Practice and Theory of Highly Interactive Visual Languages In IEEE Workshop on Visual Languages, pages 155 -- 161, Seattle, WA, 1992.

....We represent individual functions as graph nodes; the application of a function to an argument sub expression is represented by an arc between nodes. This is the most common representation for functional languages in the Visual Programming literature, and is used in various forms in [3] 4] and [6]. The basic unit of program construction in our representation is the expressiongraph: a function that has been applied to zero or more arguments. An expressiongraph has an implicit value (which may be a ground data value or may be function valued) and an explicit type. Two advantages of this ....

....a type need be explicitly designated is when a function is used before it is defined (e.g. when defining a recursive function) This is not seen as a serious limitation, since making type annotations for such functions is regarded as good programming practice in any case. VisaVis, introduced in [6], has been extended with an implicit incremental type system that allows a form of parametric polymorphism and function overloading [5] Show and Tell, a visual teaching language, has also been extended to include an explicit polymorphic type system [4] The proposed representation is based on ....

Jorg Poswig, Guido Vrankar, and Claudio Moraga. VisaVis - contributions to practice and theory of highly interactive visual languages. In Proceedings of the 1992 IEEE Workshop on Visual Languages, pages 155--161. IEEE Computer Society Press, September 1992.

....F, due to membership in F, or due to membership in a cell group on F. N F denotes referenceable object N on form (or referenceable object) F. Table 1: Notation Milner s are fully incorporated into the visual language, and soundness and completeness are preserved. ESTL [6] CUBE [7] and VisaVis [9] are systems in this category. ESTL, for example, supports tuple types, union types, function types, higher order functions, and polymorphic types. The entire type system is visible to the user, including the polymorphic type variables. The second category, which emphasizes concreteness in type ....

J. Poswig, K. Teves, G. Vrankar, C. Moraga, VisaVis-- contributions to practice and theory of highly interactive visual languages, IEEE Wkshp. on Vis. Langs., Seattle, 155-162, Sept. 1992.

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