Invocation polymorphism

Author

Wang, Guijun ; Ambler, Allen

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Kansas Univ., Lawrence, KS, USA

fYear

1995

fDate

5-9 Sep 1995

Firstpage

83

Lastpage

90

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

formal specification; interactive programming; knowledge based systems; programming theory; visual languages; visual programming; ambiguities; general specification; intelligent analysis process; invocation polymorphism; programming languages; specification refinement; visual interactive programming style; visual programming; Computer languages; Data structures; Genetic expression; Intelligent systems; Object oriented programming; Programming profession; Shape;

fLanguage

English

Publisher

ieee

Conference_Titel

Visual Languages, Proceedings., 11th IEEE International Symposium on

Conference_Location

Darmstadt

ISSN

1049-2615

Print_ISBN

0-8186-7045-2

Type

conf

DOI

10.1109/VL.1995.520789

Filename

520789