Invocation polymorphism
- 1 January 1995
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
Visual programming by its nature is both more interactive and more conceptual than its textual counterpart. Both of these properties suggest an interactive style wherein the user "sketches" a general specification and the system "refines" this specification by using an intelligent analysis process to fill in the details where possible. A result of this visual interactive style of programming is that programming languages that support these general specifications allow for certain ambiguities that introduce yet another kind of polymorphism. We examine this form of polymorphism and contrast it with other traditional forms of polymorphism.Keywords
This publication has 5 references indexed in Scilit:
- Types and type inference in a visual programming languagePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Applicability checking in visual programming languagesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Visual representation and manipulation of matricesJournal of Visual Languages & Computing, 1992
- Conception, evolution, and application of functional programming languagesACM Computing Surveys, 1989
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985