Margaret M. Burnett  Home/Search
Context Related
Links: DBLP | orst.edu/pub/burnett/vl93.types.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cui.unige.ch/eao/www...VP.TechRep (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, the uses of types and type inference in visual languages are explored. First, we discuss how the goals of a type system must differ for visual languages from those of a type system for textual languages. We then present a type system developed under these goals for the visual language Forms/3. Within the context of this system, issues of particular importance in visual languages are examined, including maintaining the user's conceptual model, the avoidance of language... (Update)
Context of citations to this paper: More
...to support overloaded functions [66] Forms 3 [7] finally, is a form based visual language. Burnett s type inference system for Forms 3 [8] is based on set constraints; the inference algorithm is again a variation of the Hindley Milner algorithm. All the languages in this...
.... [57] and Prograph [41] Some examples of ground breaking visual language environments include Escalante [66] Vampire [65] and Forms 3 [19]. In recent years the use of the UML visual notation has had a major impact on visual language development, with many tools using parts...
Cited by: More
Improving Polymorphic Type Explanations - Yang (2001) (Correct)
Exception Handling in the Spreadsheet Paradigm - Burnett, Agrawal, van Zee (2000) (Correct)
Static Type Inference for a First-Order Declarative Visual .. - Djang, Burnett, Chen (2000) (Correct)
Active bibliography (related documents): More All
0.7: Retrieving Re-Usable Software Components By Polymorphic Type - Runciman, Toyn (1991) (Correct)
0.4: Programming In Three Dimensions - Najork (1994) (Correct)
0.4: A Declarative Approach to Event-Handling in Visual.. - Burnett, Ambler (1992) (Correct)
Similar documents based on text: More All
0.1: Testing Strategies for Form-Based Visual Programs - Rothermel, Li, Burnett (1997) (Correct)
0.1: FAR: An End-User Language to Support Cottage E-Services - Burnett, Chekka, Pandey (2001) (Correct)
0.1: Classification System For Visual Programming Languages - Burnett, Baker (1994) (Correct)
Related documents from co-citation: More All
4: Prograph: a step towards liberating programming from textual conditioning (context) - Cox, Giles et al. - 1990
3: Using a pictorial representation to combine dataflow and objectorientation in a .. (context) - Cox, Pietrzykowski - 1988
3: The Fabrik Programming Environment (context) - Ludolph, Chow et al. - 1988
BibTeX entry: (Update)
M. Burnett. Types and type inference in a visual programming language. In Proc. IEEE Symposium on Visual Languages, Bergen, NORWAY, 1993. IEEE Computer Society Press. http://citeseer.ist.psu.edu/burnett93types.html More
@inproceedings{ burnett93types,
author = "Margaret M. Burnett",
title = "Types and Type Inference in a Visual Programming Languages",
booktitle = "Proc. {IEEE} Symp. Visual Languages, {VL}",
month = "24--27~",
publisher = "IEEE Computer Society",
editor = "Ephraim P. Glinert and Kai A. Olsen",
isbn = "0-81863-970-9",
pages = "238--243",
year = "1993",
url = "citeseer.ist.psu.edu/burnett93types.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
16 Visual representation and manipulation of matrices (context) - Viehstaedt, Ambler - 1992
10 Enhancing Show-and-Tell with a polymorphic type system and h.. (context) - Najork, Golin - 1990 DBLP
9 The CUBE language (context) - Najork, Kaplan - 1991 DBLP
8 A declarative approach to eventhandling in visual programmin.. - Burnett, Ambler - 1992
6 Abstraction in the demand-driven (context) - Burnett - 1991
5 VisaVis-- contributions to practice and theory of highly int.. (context) - Poswig, Teves et al. - 1992
4 A visual programming environment (context) - Ingalls, Wallace et al. - 1988
4 Practical polymorphism (context) - Nikhil - 1985 ACM DBLP
4 A new type-checker for a functional language (context) - Fairbairn - 1988 ACM DBLP
2 Performance polymorphism (context) - Toyn, Dix et al. - 1987 ACM DBLP
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://cui.unige.ch/eao/www/Visual/VP.TechRep.html): More
Defining and Parsing Visual Languages with Layered Graph Grammars - Rekers, Schürr (1997) (Correct)
The Design of a Completely Visual Object-Oriented.. - Citrin, Doherty, Zorn (1994) (Correct)
SUPER - Visual Interaction with an Object-based ER Model - Auddino, Dennebouy.. (1992) (Correct)
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