Rebecca Walpole Djang, Margaret M. Burnett, Roger D. Chen  Home/Search
Context Related
| orst.edu/pub/burne...s.JVLC.Apr2000.pdf 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: orst.edu/pub/burnett/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Data Type ( VADT ) forms are type definition forms that support both built-in and user-defined types. The primitiveCircle form of Figure 4 and the Point form of Figure 6 are examples of VADT forms in full Forms/3. VADT forms and their components are defined as follows: z A VADT form is a form whose ROset includes a cell with cellID `Image', one abstraction box with cellID `MainAbs', and zero or more additional ROs. (Update)
Context of citations to this paper: More
.... on a model of static type inference that can operate at the fine grained level necessary to support similarity inheritance [Djang et al. 2000]. Regarding software engineering issues, we are currently working to explicitly support debugging and testing of programs written...
.... be based on a type system for component ports [37, 38] preferably providing edit time feedback using a static type inference system [39]. A related improvement concerns the topologies that can be implemented. Some existing filters accept only files for input and output and...
Cited by: More
End-User Assertions: Propagating Their Implications - Summet, Burnett (2002) (Correct)
Exception Handling in the Spreadsheet Paradigm - Burnett, Agrawal, van Zee (2000) (Correct)
Unix Tools as Visual Programming Components in a GUI-builder.. - Spinellis (2001) (Correct)
Active bibliography (related documents): More All
0.9: Forms/3: A First-Order Visual Language to Explore.. - Burnett, Atwood.. (2001) (Correct)
0.5: Programming In Three Dimensions - Najork (1994) (Correct)
0.5: Types and Type Inference in a Visual Programming Language - Burnett (1993) (Correct)
Similar documents based on text: More All
0.9: Similarity Inheritance: A New Model of Inheritance for.. - Djang, al. (1998) (Correct)
0.7: Classification System For Visual Programming Languages - Burnett, Baker (1994) (Correct)
0.6: Representation Design Benchmarks: A Design-Time Aid.. - Yang, Burnett.. (1997) (Correct)
Related documents from co-citation: More All
3: Expanding the utility of spreadsheets through the integration of visual programm.. (context) - Smedley, Cox et al. - 1996
3: Slicing Spreadsheets: An Integrated Methodology for Spreadsheet Testing and Debu.. - Reichwein, Rothermel et al. - 1999
3: What you see is what you test: A methodology for testing formbased visual progra.. - Rothermel, Li et al. - 1998
BibTeX entry: (Update)
R. Djang, M. Burnett, and R. Chen, "Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance," Journal of Visual Languages and Computing, April 2000, 191-235. http://citeseer.ist.psu.edu/djang00static.html More
@article{ djang00static,
author = "Rebecca Walpole Djang and Margaret M. Burnett and Roger D. Chen",
title = "Static Type Inference for a First-Order Declarative Visual Programming Language with Inheritance",
journal = "Journal of Visual Languages and Computing",
volume = "11",
number = "2",
pages = "191-235",
year = "2000",
url = "citeseer.ist.psu.edu/djang00static.html" }
Citations (may not include all citations):1002 Programming Language (context) - The - 1992
809 A theory of type polymorphism in programming (context) - Milner - 1978
388 On understanding types (context) - Cardelli, Wegner - 1985
342 Eiffel: The Language (context) - Meyer - 1992
306 Self: the power of simplicity (context) - Ungar, Smith - 1987
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1990
151 Object-oriented type inference - Palsberg, Schwartzbach - 1991
100 Smalltalk-80 The Language and its Implementation (context) - Goldberg, Robson - 1983
92 A behavioral notion of subtyping - Liskov, Wing - 1994
88 Theory and Practice of Object Systems (context) - Bruce, Cardelli et al. - 1995
71 bounded polymorphism for object oriented programming (context) - Canning, Cook et al. - 1989
59 Basic polymorphic typechecking - Cardelli - 1987
48 Type inference in SELF: analysis of objects with dynamic and.. - Agesen, Palsberg et al. - 1993
45 Finding the source of type errors (context) - Wand - 1986
43 Prograph: a step towards liberating programming from textual.. (context) - Cox, Giles et al. - 1989
38 Concepts of Programming Languages (context) - Sebesta - 1996
34 Interactive visual data abstraction in a declarative visual .. (context) - Burnett, Ambler - 1994
32 KidSim: end user programming of simulations (context) - Cypher, Smith - 1995
23 Graphical definitions: Expanding spreadsheet languages throu.. - Burnett, Gottfried - 1998
21 VIVA: a visual language for image processing (context) - Tanimoto - 1990
15 Programming in three dimensions - Najork - 1996
14 Steering programs via time travel - Atwood, Burnett et al. - 1996
13 From concrete forms to generalized abstractions through pers.. - Yang, Burnett - 1994
12 Genericity vs inheritance vs delegation vs conformance vs (context) - Blair, Gallagher et al. - 1989
10 Enhancing Show-and-Tell with a polymorphic type system and h.. (context) - Najork, Golin - 1990
9 Explaining type inference - Bent, Duggan - 1996
9 Types and type inference in a visual programming language - Burnett - 1993
8 Introducing CLOVER: an object-oriented functional language - Braine, Clack - 1996
8 Chimera: example-based graphical editing (context) - Kurlander - 1993
8 Contravariance for the rest of us (context) - Harris - 1991
7 Formulate solution to the visual programming challenge (context) - Ambler, Broman - 1998
7 Incremental type systems and implicit parametric overloading.. (context) - Poswig, Moraga - 1993
5 Similarity inheritance: a new model of inheritance for sprea.. - Djang, Burnett - 1998
5 VisaVis-contributions to practice and theory of highly inter.. (context) - Poswig, Teves et al. - 1992
4 a visual programming environment (context) - Ingalls, Wallace et al. - 1988
3 A graphical semantics for graphical transformation languages (context) - Citrin, Doherty et al. - 1997
2 Subtyping is not a good `Match' for object-oriented language.. (context) - Bruce, Petersen et al. - 1997
2 Implementing level 4 liveness in declarative visual programm.. (context) - Burnett, Atwood et al. - 1998
2 A structured interactive workspace for a visual configuratio.. - Vion-Dury, Pacull - 1997
1 Object-oriented type systems: principles and applications (context) - Schwartzbach - 1997
1 A visualization of polymorphic type checking (context) - Jun, Michaelson - 1999
1 Show and Tell (context) - Kimura, Choi et al. - 1990
Documents on the same site (ftp://ftp.cs.orst.edu/pub/burnett/): More
Scaling Up a "What You See Is What You Test".. - Burnett, Sheretov.. (1999) (Correct)
Similarity Inheritance: A New Model of Inheritance for.. - Walpole, Burnett (1997) (Correct)
Testing Strategies for Form-Based Visual Programs - Rothermel, Li, Burnett (1997) (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