Marc A. Najork and Simon M. Kaplan. The cube language. In IEEE Workshop on Visual Languages, pages 218-224. Kobe, Japan, 1991.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....have an explicit notion of types. They can be divided into two categories: those whose type system are modeled after traditional procedural languages e.g. Fabrik [25] and DataVis [20] and those whose type systems are based on the Hindley Milner approach, e.g. Enhanced Show and Tell [39] Cube [40, 41] VisaVis [45] and an extension of Forms 3 [10] In the rst category, the languages supply a set of prede ned types such as arrays, records, enumerations, bitmaps, etc. but do not allow the user to de ne new types. For example in DataVis, types are associated with colors. Only xed and very ....

....guarantee type safety: For example, they might try to reference a non existing array element. In the second category: Enhanced Show and Tell [39] was improved from Show and Tell [53] by adding a static polymorphic type system and higher order functions using Hindley Milner type inference. Cube [40, 41] is a successor of Show and Tell and Enhanced Show and Tell, which adds some key ideas from these two languages to visual logic programming. Cube s type system is based on Milner s system as well. VisaVis [45] is a visual language with a data ow based syntax and FFP based semantics, the ....

Marc A. Najork and Simon M. Kaplan. The cube language. In IEEE Workshop on Visual Languages, pages 218-224. Kobe, Japan, 1991.

....not only to specify visual syntax, but also (with a different set of rewrite rules) to translate a picture into a textual language. They also show that a CSRS can specify a three dimensional visual language (presumably motivated by their work on Cube, a three dimensional logic programming language [100]) Following sections of this chapter will touch on differences between Visual Haskell and visual dataflow languages. One of motivations for using a functional language in this thesis is the apparent correspondence between functional languages and dataflow. This is highlighted by the fact that ....

....general. On the down side, these constructs may interfere with dataflow schedulers and so on, since the flow of data into these constructs is not always explicit. Another powerful feature of functional languages that is rare in dataflow languages is pattern matching, although ESTL [99] and CUBE [100] both support a form of pattern matching. Finally, a key difference between functional and dataflow languages is the treatment of I O. In a functional language, I O is performed in two key ways [44] i) by calling system primitives with lazy lists representing the whole history of input or ....

Marc A. Najork and Simon M. Kaplan. The CUBE language. In Proc. 1991 IEEE Workshop on Visual Languages, pages 218--224, Kobe, Japan, October 1991.

....not only to specify visual syntax, but also (with a different set of rewrite rules) to translate a picture into a textual language. They also show that a CSRS can specify a three dimensional visual language (presumably motivated by their work on Cube, a three dimensional logic programming language [100]) Following sections of this chapter will touch on differences between Visual Haskell and visual dataflow languages. One of motivations for using a functional language in this CHAPTER 4. VISUAL HASKELL 93 thesis is the apparent correspondence between functional languages and dataflow. This is ....

....general. On the down side, these constructs may interfere with dataflow schedulers and so on, since the flow of data into these constructs is not always explicit. Another powerful feature of functional languages that is rare in dataflow languages is pattern matching, although ESTL [99] and CUBE [100] both support a form of pattern matching. Finally, a key difference between functional and dataflow languages is the treatment of I O. In a functional language, I O is performed in two key ways [44] i) by calling system primitives with lazy lists representing the whole history of input or ....

Marc A. Najork and Simon M. Kaplan. The CUBE language. In Proc. 1991 IEEE Workshop on Visual Languages, pages 218--224, Kobe, Japan, October 1991.

....And, if it does, ought we not to exploit it to our advantage . It is time for computer science to begin exploring revolutionary rather than evolutionary means of programming, in the hope that the tools will be ready when required. 24] In response to Glinert s call, we have developed Cube [57, 58], the first full fledged threedimensional visual programming language, and we have built two implementations of a Cube environment. It is important to stress that we use the third dimension not to enhance the beauty of a program, but rather to convey semantic meaning, to alleviate the screen ....

....Enhanced Show and Tell, Cube, VisaVis and an extension of Forms 3. Enhanced Show and Tell [56] or ESTL for short, improves on Show and Tell 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 ....

Marc A. Najork and Simon M. Kaplan. The Cube Language. In IEEE Workshop on Visual Languages, pages 218 -- 224, Kobe, Japan, 1991.

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