Abstract
We discuss the idea of processes in a higher-order, purely functional, modular programming language. Processes are introduced by defining two different and independent language worlds, each of which with a simple semantical basis, one denotational, the other algebraic.
Programming with processes is done by creating static graphs of nondeterministic functions, in a framework separated from the purely functional programming environment defined by a functional language. We consider the characteristics of the approach.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download to read the full chapter text
Chapter PDF
References
America, P. et al.: A Denotational Semantics of a Parallel Object Oriented Language. Report CS-R8626, Computer Science/DST, Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands, 1986.
Bergstra, J. A. and J. W. Klop: “Process Algebra for Synchronous Communication”. Information and Control (60) 1/3, pp. 109–137, 1984.
Christensen, P.: Combining CSP with an Applicative Language. Internal Report, Dept. of Comp. Sci., Tech. Univ. of Denmark, Lingby, DN, 1987.
Henderson, P.: Communicating Functional Programs. Tech. Report FPN-8, Comp. Sci. Dept., University of Stirling, UK, 1984.
Hoare, C. A. R.: Communicating Sequential Processes. Prentice-Hall Intl., 1985.
Kramer, J. et al.: The Conic Programming Language: Version 2.4. Res. Report 84/19, Dept. of Computing, Imp. College London, UK, 1984.
Meira, S. R. de L.: Introduction to Functional Programming. Escola de Computação, Campinas-SP, 1988. (In Portuguese)
Meira, S. R. de L.: A Modular Functional Language with Processes. Working Report, Departamento de Informática, UFPE, Recife. To be submitted to SIGPLAN Notices.
Meira, S. R. de L.: Functional Processes and Their Semantics. Working Report, Departamento de Informática, UFPE, Recife.
Milner, R.: “A Theory of Type Polymorphism in Programming”. Jour. of Comp. and Sys. Sci. (17) 3, pp. 348–375, 1978.
Milner, R.: A Calculus of communicating Systems. Springer-Verlag, LNCS 92, Berlin, 1980.
Stoye, W. R.: A New Scheme for Writing Functional Operating Systems. Cambridge Univ. Computer Lab., Tech. Report 56, Cambridge, 1986.
Takahashi, T. (Ed.): Anais do IV Encontro de Trabalho do Projeto Ethos. Petrópolis, Abr. 1987.
Turner, D.: Miranda: A non-Strict Functional Language with Polymorphic Types. LNCS 201, Springer-Verlag, Sep. 1985.
Turner, D.: “Functional Programming and Communicating Processes”. Proc. of PARLE Conference, Eidhoven, 1987.
Wirth, N.: Programming in Modula-2. 2nd. Ed., Springer-Verlag, New York, 1982.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meira, S.L. (1989). Processes and functions. In: Díaz, J., Orejas, F. (eds) TAPSOFT '89. TAPSOFT 1989. Lecture Notes in Computer Science, vol 352. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50940-2_42
Download citation
DOI: https://doi.org/10.1007/3-540-50940-2_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50940-0
Online ISBN: 978-3-540-46118-0
eBook Packages: Springer Book Archive