Abstract
Many new models of computation have emerged over the last years to meet the demands of modelling new features or new concepts in programming languages. Rarely do we find a model that becomes a programming paradigm. The aim of this paper is to show how a fine-grained model of computation can be used directly as a programming language. Moreover, the model can also exhibit visually properties of algorithms, such as space and time usage.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dami, L., Vallet, D.: Higher-order functional composition in visual form. Technical report (1996)
Dershowitz, N., Jouannaud, J.-P.: Rewrite Systems. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science: Formal Methods and Semantics, vol. B, North-Holland, Amsterdam (1989)
Fernández, M., Mackie, I.: Interaction nets and term rewriting systems. Theoretical Computer Science 190(1), 3–39 (1998)
Girard, J.-Y.: Linear Logic. Theoretical Computer Science 50(1), 1–102 (1987)
Gonthier, G., Abadi, M., Lévy, J.-J.: The geometry of optimal lambda reduction. In: Proceedings of the 19th ACM Symposium on Principles of Programming Languages (POPL 1992), January 1992, pp. 15–26. ACM Press, New York (1992)
Hassan, A., Mackie, I., Sato, S.: Interaction nets: programming language design and implementation. In: Proceedings of the seventh international workshop on Graph Transformation and Visual Modeling Techniques (March 2008)
Kahn, G.: The semantics of a simple language for parallel programming. Information Processing 74 (1974)
Kelso, J.: A Visual Programming Environment for Functional Languages. PhD thesis, Murdoch University (2002)
Klop, J.-W.: Term rewriting systems. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S. (eds.) Handbook of Logic in Computer Science, vol. 2, pp. 1–116. Oxford University Press, Oxford (1992)
Lafont, Y.: Interaction nets. In: Proceedings of the 17th ACM Symposium on Principles of Programming Languages (POPL 1990), January 1990, pp. 95–108. ACM Press, New York (1990)
Lippi, S.: Programming with interaction nets. Technical report, Logic and Interaction school (2002)
Mackie, I.: Efficient λ-evaluation with interaction nets. In: van Oostrom, V. (ed.) RTA 2004. LNCS, vol. 3091, pp. 155–169. Springer, Heidelberg (2004)
Reekie, H.J.: Realtime Signal Processing – Dataflow, Visual, and Functional Programming. PhD thesis, University of Technology at Sydney (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mackie, I. (2010). A Visual Model of Computation. In: Kratochvíl, J., Li, A., Fiala, J., Kolman, P. (eds) Theory and Applications of Models of Computation. TAMC 2010. Lecture Notes in Computer Science, vol 6108. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13562-0_32
Download citation
DOI: https://doi.org/10.1007/978-3-642-13562-0_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13561-3
Online ISBN: 978-3-642-13562-0
eBook Packages: Computer ScienceComputer Science (R0)