The implementation of interactive local state transition systems in clean

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1868, Issue , 2000, Pages 115-130

  Achten, Peter ^a   Plasmeijer, Rinus ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; GRAPHICAL USER INTERFACES; USER INTERFACES;

ALGEBRAIC SPECIFICATIONS; GRAPHICAL USER INTERFACES (GUI); INTERACTIVE APPLICATIONS; INTERACTIVE OBJECTS; LAZY EVALUATION; LOCAL STATE; LOCAL STATE TRANSITION SYSTEMS; MODULAR PROGRAMMING;

FUNCTIONAL PROGRAMMING;

EID: 84959047425     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722298_7     Document Type: Conference Paper

References (17)

1. Achten, P.M., van Groningen, J.H.G., and Plasmeijer, M.J. High Level Specification of I/O in Functional Languages. In Launchbury, J., Sansom, P. eds., Proceedings Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992. Workshops in Computing, Springer-Verlag, Berlin, 1993, pp. 1-17.
2. Achten, P.M. and Plasmeijer, M.J. The ins and outs of Clean I/O. In Journal of Functional Programming 5(1) - January 1995, Cambridge University Press, pp. 81-110.
3. Achten, P.M. and Plasmeijer, M.J. Interactive Functional Objects in Clean. In Clack, C., Hammond, K. and Davie, T. eds., Proceedings 9th International Workshop Implementation of Functional Languages, IFL'97, St. Andrews, Scotland, UK, September 1997, selected papers, LNCS 1467, Springer, pp. 304-321.
4. Achten, P.M. and Wierich, M. A Tutorial to the Clean Object I/O Library - version 1.1. Internal Report, Department of Functional Programming, University of Nijmegen, The Netherlands, 1999. Available on Internet: ftp://ftp.cs.kun.nl/pub/Clean/supported/ObjectIO/doc/tutorial.11.ps.gz.
5. Barendsen, E. and Smetsers, J.E.W. Uniqueness Type Inference. In [10], pp. 189-206.
6. Bjørner, D., Broy, M., Pottosin, I.V. eds. Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25-28, 1996, Proceedings, LNCS 1181, Springer.
7. Brus, T., van Eekelen, M.C.J.D., van Leer, M.O., and Plasmeijer, M.J. Clean: A Language for Functional Graph Rewriting. In Kahn. G. ed. Proceedings of the Third International Conference on Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, LNCS 274, Springer-Verlag, pp. 364-384.
8. Carlsson, M. and Hallgren, Th. Fudgets - A Graphical User Interface in a Lazy Functional Language. In Proceedings of Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, 9-11 June 1993, ACM Press, pp. 321-330.
9. Frauenstein, Th., Grieskamp, W., Pepper, P., and Südholt M. Communicating Functional Agents and Their Application to Graphical User Interfaces. In [6], pp. 386-397.
10. Hermenegildo, M. and Swierstra, S.D. eds. Proceedings of Seventh International Symposium on Programming Languages: Implementations, Logics and Programs, Utrecht, The Netherlands, 20-22 September 1995, LNCS 982, Springer-Verlag.
11. Jones, M.P. A system of constructor classes: overloading and implicit higher-order polymorphism. In Proceedings of Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, 9-11 June 1993. ACM Press, pp. 52-61.
12. Noble, R. and Runciman, C. Gadgets: Lazy Functional Components for Graphical User Interfaces. In [10], pp. 321-340.
13. Nöcker, E.G.J.M.H., Smetsers, J.E.W., van Eekelen, M.C.J.D., and Plasmeijer, M.J. Concurrent Clean. In Aarts, E.H.L., Leeuwen, J. van, Rem, M., eds., Proceedings of Parallel Architectures and Languages Europe, June, Eindhoven, The Netherlands. LNCS 506, Springer-Verlag, pp. 202-219.
14. Plasmeijer, M.J. and van Eekelen, M.C.J.D. Functional Programming and Parallel Graph Rewriting. Addison-Wesley Publishing Company 1993.
15. Scholz, E. Pidgets - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent GUI Programming. In Kuchen, H., Swierstra, S.D. eds. Proceedings of eighth International Symposium on Programming Languages: Implementations, Logics, and Programs, Aachen, Germany, September 1996, LNCS 1140, Springer, pp. 363-377.
16. Smetsers, J.E.W., Barendsen, E., van Eekelen, M.C.J.D., and Plasmeijer, M.J. Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs. In Schneider, H.J., Ehrig, H. eds. Proceedings Workshop Graph Transformations in Computer Science, Dagstuhl Castle, Germany, January 4-8, 1993, LNCS 776, Springer-Verlag, Berlin, pp. 358-379.
17. Vullinghs, T., Schulte, W., and Schwinn, Th. The Design of a Functional GUI Library Using Constructor Classes. In [6], pp. 398-408.