Skip to main content
SpringerLink
Log in

VisaVis the conception of a functional Visual Programming Language

  • Conference paper
  • First Online:
Computer Aided Systems Theory — EUROCAST '91 (EUROCAST 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 585))

Included in the following conference series:

  • 140 Accesses

Abstract

Visual Programming Languages are a part of Visual Programming related to the classification scheme of N.C. Shu [Shu88], [Shu89]. Visual Programming Languages follow up the idea describing problems in a graphical manner. This leads to two dimensional representations of programs in contrast with convential textual programming languages. The system, called VisaVis, is the conception of a pure functional Visual Programming Language supporting user-definable higher-order functions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literature notes

  1. Ameiss D.K.,Christopher T.W.:Functional Programming in a Parallel Environment using FP, Sigplan Notices, Vol.25, No. 11, p. 85–94

    Google Scholar 

  2. Backus, John: Can programming be liberated from the von Neumann style? A functional style and its algebra of programs, Communications of the ACM, August 1978, Vol. 21, No.8, p.613–641

    Google Scholar 

  3. Barendgret H., Hemerik K.: Types in lambda calculi and programming languages, Proceedings of the European Symposium on Programming, Springer-Verlag LNCS 432, p. 1–35

    Google Scholar 

  4. Börger, Egon: Berechenbarkeit, Komplexität, Logik, Vieweg, 1985

    Google Scholar 

  5. Cardelli L., Wegner P.: On Understanding Types, Data Abstraction, and Polymorphism, Comp. Surveys, Vol. 17, No. 4, Dezember 1985, p. 471–522

    Google Scholar 

  6. Chang, Shi Kuo: Visual Languages: A Tutorial and Survey, IEEE Software, January 1987, p. 29–39

    Google Scholar 

  7. Chang, Shi Kuo: Principles of Visual Programming Systems, Prentice Hall, 1990

    Google Scholar 

  8. Church A.: The calculi of lambda-conversion, Princeton University Press, Princeton, New York, 1941

    Google Scholar 

  9. Curry H.B., Feys R.: Combinatory logic, Vol. 1, North-Holland Pub. Co., Amsterdam, 1958

    Google Scholar 

  10. Darlington J., Henderson P., Turner D.A.: Functional programming and its applications — an advanced course, Cambridge University Press, 1981

    Google Scholar 

  11. Danforth S., Tomlinson C.: Type theories and object-oriented programming, Computing Surveys, Vol. 20, No. 1, March 1988, p. 29–72

    Google Scholar 

  12. Edel M.: The Tinkertoy Graphical Environment, IEEE Trans. on Software Engineering,Vol.14, No.8,August 1988,p.1110–1115

    Google Scholar 

  13. Eisenbach, Susan: Functional Programming — languages, tools and architectures, John Wiley & Sons, 1987

    Google Scholar 

  14. Field A.J., Harrison P.G.: Functional Programming, Addison Wesley, 1988

    Google Scholar 

  15. Ghezzi C., Jazayeri M.: Programming Language Concepts, John Wiley&Sons, 1982

    Google Scholar 

  16. Goldberg A., Pope S.T.: Object-oriented is not enough!, Parc Place Systems, Inc., Juni 1989

    Google Scholar 

  17. Guttag J., Hornig J., Williams J.: FP with data abstraction and strong typing, ACM Proc. of Func. Prog. Lang. and Comp. Arch., 1981, p.11–24

    Google Scholar 

  18. Guttag J.: Notes on using types and type abstractions in functional programming, Functional Programming and its Applications — An advanced course, Cambridge Univ. Press, 1982, p.73–101

    Google Scholar 

  19. Hailpern B., Huynh T., Revesz G.: Comparing two functional programming systems, IEEE Trans. on Software Engineering, Vol.15, No. 5, Mai 1989, p.532–542

    Google Scholar 

  20. Holt C.M.: viz: A Visual Language based on functions, IEEE Workshop on Visual Languages, 1990, p.221–226

    Google Scholar 

  21. Hudak P., Wadler P.L.: Report on the functional programming language Haskell, A non-strict, purely Functional Language, Version 1.0, April 1990, University of Yale, April 1990, YALEU/DCS/RR-777

    Google Scholar 

  22. Kleene S.C.: General recursive functions of natural numbers, Math. Ann. 112, p. 727–742

    Google Scholar 

  23. MacLennan, Bruce J.: Functional Programming — Practice and Theory Addison-Wesley, 1990

    Google Scholar 

  24. Luis Marcel, Moraga Claudio, Poswig Jörg, Seseke Klaus: SPEEDY G-A software system for theoretical and practical approaches in spectral techniques, Proc. of the International Conference on Signal Processing, Beijing 90, p.1215–1218

    Google Scholar 

  25. Mago G., Middleton D.: The FFP machine — a progress report, Proc. of the Inter. Workshop on High-Level Computer Architecture, Los Angeles, California, 1984, p. 5.13–5.25

    Google Scholar 

  26. McCarthy J.: Recursive functions of symbolic expressions and their computation by machine, Part 1, Communications of ACM, April 1960

    Google Scholar 

  27. McCleary G.F.: An Effective Graphic “Vocabulary” IEEE Comp. Graphics and Appl., Vol. 3, No. 2, March, April 1983, p. 46–53

    Google Scholar 

  28. Meyer B.: Objektorientierte Softwareentwicklung, Hanser/Prentice Hall, 1990

    Google Scholar 

  29. National Instruments: Lab View-demonstration Package, National Instruments Corporation, 1987

    Google Scholar 

  30. Objektworks — ParcPlace Systems, Objektworks — Smalltalk 4.0, ParcPlace Systems, 1990

    Google Scholar 

  31. Paterson M.S., Hewitt C.E.: Comparative Schematology, Record of the Project MAC Conf. and Conc. Syst. and Par. Comp.(ACM), Woods Hole, Mass., 1970, p. 119–127

    Google Scholar 

  32. Plaisted D.A.: An archtitecture for fast data movement in the FFP machine, Func. Prog. Lang. and Comp. Arch., LNCS, 1985, p. 147–163

    Google Scholar 

  33. Reade C.: Elements of Functional Programming, Addison Wesley, 1989

    Google Scholar 

  34. Santori M.: An instrument isn't really, IEEE Spectrum, August 1990, p.36–39

    Google Scholar 

  35. Scott, B.: Berkeley's FP User's Manual; Rev., ULTRIX-32 Suplementary, Documents, Vol. II, Digital Equipment Corp., Merrimack, New Hamshire, 1984

    Google Scholar 

  36. Sethi, R.: Programming Languages — Concepts and Constructs, Addison Wesley, 1989

    Google Scholar 

  37. Shu, N. C.: Visual Programming Languages: A perspective and dimensional analysis, in Visual Languages, edited by S.K. Chang et. al., Plenum Press, 1986

    Google Scholar 

  38. Shu, N. C.: Visual Programming, Van Nostrand Reinhold Company, 1988

    Google Scholar 

  39. Shu, N. C.: Visual Programming: Perspectives and approaches, IBM Systems Journal, Vol. 28, No. 4, 1989, p. 525–547

    Google Scholar 

  40. Vose G.M., Williams G.: Lab View: Laboratory Virtual Instrument Engineering Workbench, BYTE 11, No. 9, p. 84–92, September 1986

    Google Scholar 

  41. Walinsky C., Banerjee D.: A Functional Programming Language Compiler for Massively Parallel Computers, ACM Conf. on LISP and Functional Programming, 1990, p.131–138

    Google Scholar 

  42. Williams J.H.: Notes on the FP style of functional programming, in:[Dar81],p.73–101

    Google Scholar 

  43. Wood W.T., Wood S.K.: Icons in every day life Human Computer Interaction — INTERACT'87, (Bullinger,Shakel eds.), 1987

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Dortmund, Otto-Hahn Str. 16, 4600, Dortmund 50

    Jörg Poswig

Authors
  1. Jörg Poswig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Franz Pichler Roberto Moreno Díaz

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Poswig, J. (1992). VisaVis the conception of a functional Visual Programming Language. In: Pichler, F., Díaz, R.M. (eds) Computer Aided Systems Theory — EUROCAST '91. EUROCAST 1991. Lecture Notes in Computer Science, vol 585. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0021014

Download citation

  • DOI: https://doi.org/10.1007/BFb0021014

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55354-0

  • Online ISBN: 978-3-540-47034-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation