Static type inference for a first-order declarative visual programming language with inheritance

Journal of Visual Languages and Computing

Volumn 11, Issue 2, 2000, Pages 191-235

  Djang, Rebecca Wapole ^a   Burnett, Margaret M ^a   Chen, Roger D ^a  

^a Oregon State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0034164711     PISSN: 1045926X     EISSN: None     Source Type: Journal    
DOI: 10.1006/jvlc.1999.0153     Document Type: Article

References (43)

1. Djang R. W., Burnett M. Similarity inheritance: a new model of inheritance for spreadsheet VPLs. 1998 IEEE Symposium on Visual Languages. 1998.
2. Cardelli L., Wegner P. On understanding types data abstraction and polymorphism. Computing Surveys. 17:1985;471-522.
3. M. I. Schwartzbach, 1997, Object-oriented type systems: principles and applications. Lecture Notes Efteruddanelseskursus for Datamatikerlaererforeningen, http://www.daimi.aau.dk/~mis/ootspa.ps.
4. Cardelli L. Basic polymorphic typechecking. Science of Computer Programming. 8:1987;147-172.
5. Jun Y., Michaelson G. A visualization of polymorphic type checking. Journal of Functional Programming. 1999.
6. Blair G., Gallagher J., Malik J. Genericity vs inheritance vs delegation vs conformance vs... Journal of Object-Oriented Programming. 1989;11-17.
7. Goldberg A., Robson D. Smalltalk-80 The Language and its Implementation. 1983;Addison-Wesley, Reading.
8. D. Ungar, R. B. Smith, 1987, Self: The power of simplicity, Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), 227, 242.
9. J. Palsberg, M. Schwartzbach, 1991, Object-oriented type inference, OOPSLA'91, 146, 161.
10. Agesen O., Palsberg J., Schwartzbach M. Type inference in SELF: analysis of objects with dynamic and multiple inheritance. ECOOP'93 European Conference on Object Oriented Programming. 1993;Springer, Berlin. p. 247-267.
11. Cook W., Hill W., Canning P. Inheritance is not subtyping. POPL'90. 1990;125-135.
12. Harris W. Contravariance for the rest of us. Journal of Object-Oriented Programming. 4:1991;10-18.
13. Liskov B. H., Wing J. M. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems. 16:1994;1811-1841.
14. Sebesta R. W. Concepts of Programming Languages. 1996;Addison-Wesley, Menlo Park.
15. Meyer B. Eiffel: The Language. 1992;Prentice-Hall, Englewood Cliffs.
16. Stroustrup B. The C++ Programming Language. 1992;Addison-Wesley, Reading.
17. Canning P., Cook W., Hill W., Olthoff W., Mitchell J. C. F-bounded polymorphism for object oriented programming. Proceedings International Conference on Functional Programming Languages and Computer Architecture. 1989;273-280.
18. Bruce K., Cardelli L., Castagna G., Leavens G. T., Pierce B. On binary methods. Theory and Practice of Object Systems. 1995;221-242.
19. Bruce K., Petersen L., Fiech A. Subtyping is not a good 'Match' for object-oriented languages. ECOOP Proceedings. Lecture Notes in Computer Sciencs. 1241:1997;Springer, Berlin. p. 104-127.
20. S. Peyton Jones, J. Hughes, L. Augustsson, D. Barton, B. Boutel, W. Burton, J. Fasel, K. Hammond, R. Hinze, P. Hudak, T. Johnsson, M. Jones, J. Launchbury, E. Meijer, J. Peterson, A. Reid, C. Runciman, P. Wadler, 1999, Haskell 98: A Non-strict, Purely Functional Language, http://haskell.cs.yale.edu/onlinereport/ , et al., ACM SIGPLAN Notices, 27.
21. Milner R. A theory of type polymorphism in programming. Journal of Computer and System Sciences. 17:1978;348-375.
22. Wand M. Finding the source of type errors. 13th Annual ACM Symposium on Principles of Programming Languages. 1986;. p. 38-43.
23. Bent F., Duggan D. Explaining type inference. Science of Computer Programming. 27:1996;37-83.
24. Cox P. T., Giles F. R., Pietrzykowski T. Prograph: a step towards liberating programming from textual conditioning. IEEE Workshop on Visual Languages. 1989;. p. 150-156.
25. Cypher A., Smith D. KidSim: end user programming of simulations. Proceedings of CHI'95: Human Factors in Computing Systems. 1995;. p. 27-34.
26. Kurlander D. Chimera: example-based graphical editing. Cypher A. Watch What I Do: Programming by Demonstration. 1993;MIT Press, Cambridge.
27. Citrin W., Doherty M., Zorn B. A graphical semantics for graphical transformation languages. Journal of Visual Languages and Computing. 8:1997;147-173.
28. Ambler A., Broman A. Formulate solution to the visual programming challenge. Journal of Visual Languages and Computing. 9:1998;171-209.
29. Tanimoto S. VIVA: a visual language for image processing. Journal of Visual Languages and Computing. 2:1990;127-139.
30. Najork M., Golin E. Enhancing Show-and-Tell with a polymorphic type system and higher-order functions. IEEE Workshop on Visual Languages. 1990.
31. Najork M. Programming in three dimensions. Journal of Visual Languages and Computing. 7:1996;219-242.
32. Kimura T. D., Choi J. W., Mack J. M. Show and Tell. Glinert E. P. Visual Computing Environments. 1990;IEEE Computer Society Press, Washington.
33. Poswig J., Teves K., Vrankar G., Moraga C. VisaVis-contributions to practice and theory of highly interactive visual languages. IEEE Workshop on Visual Languages. 1992;. p. 155-162.
34. Poswig J., Moraga C. Incremental type systems and implicit parametric over-loading in visual languages. IEEE Symposium on Visual Languages. 1993;126-133.
35. Braine L., Clack C. Introducing CLOVER: an object-oriented functional language. Kluge W. Implementation of Functional Languages 8th International Workshop, IFL'96. 1268:1996.
36. Ingalls D., Wallace S., Chow Y., Ludolph F., Doyle K. Fabrik a visual programming environment. OOPSLA. 1988;. p. 176-190.
37. Vion-Dury J.-Y., Pacull F. A structured interactive workspace for a visual configuration language. 1997 IEEE Symposium on Visual Languages. 1997;. p. 130-137.
38. Burnett M. Types and type inference in a visual programming language. IEEE Symposium on Visual Languages. 1993;. p. 238-243.
39. Burnett M., Gottfried H. Graphical definitions: Expanding spreadsheet languages through direct manipulation and gestures. ACM Transactions on Computer-Human Interaction. 1998.
40. Burnett M., Atwood J., Welch Z. Implementing level 4 liveness in declarative visual programming languages. IEEE Symposium on Visual Languages. 1998;. p. 126-133.
41. Atwood J., Burnett M., Walpole R., Wilcox E., Yang S. Steering programs via time travel. IEEE Symposium on Visual Languages. 1996;. p. 4-11.
42. Yang S., Burnett M. From concrete forms to generalized abstractions through perspective-oriented analysis of logical relationships. 1994 IEEE Symposium on Visual Languages. 1994;. p. 6-14.
43. Burnett M., Ambler A. Interactive visual data abstraction in a declarative visual programming language. Journal of Visual Languages and Computing. 5:1994;29-60.