kato@gama.is.tsukuba.junet (Kazuhiko Kato) (02/17/88)
I'm very interested in building concurrent/parallel systems, such as operating systems, in the framework of functional programming. Fortunately I found an article related to this subject. In article <11071@shemp.UCLA.EDU> dgreen@CS.UCLA.EDU (Dan R. Greening) writes: >Data flow and functional approaches to parallelism produce programs >that are much easier to discuss in a theoretic framework. I suggest >you look at > > J. Backus, Can Programming be Liberated from the von Neumann Style? > A Functional Style and Its Algebra of Programs, Communications of the > ACM, 21(8):613-641 (August 1978). As there may be some people interested in this field, I decide to post this, not to mail. Recent nonprocedural approaches to concurrent systems are based on mathematical-flavour concepts such as logic, functional, or message-based (Ex: Actor) programming. Of the three, it is seemed that logic and message-based approaches are more studied than functional in the field of concurrent systems. Why functional approaches have been less studied? I know some approaches have already been done. (1) Peter Henderson, "Purely Functional Operating Systems," Functional Programming and its applications edited by J. Darlington, P. Henderson and D. A. Turner, Cambridge University Press, 1982. (2) W. Stoye, "A New Scheme for Writing Functional Operating Systems," Univ. Cambridge Computer Laboratoy Technical Report No. 56, 1984. (3) D. Turner, "Functional Programming and Communicating Processes," in Proc. PARLE Conf., Jun. 1987. If you know other researches or papers related to functional approaches, please let me know. >The Scientific Citation Index will provide a list of successor >articles. What is Scientific Citation Index? How can I get them? Kazuhiko KATO University of Tsukuba E-mail Address: kato%is.tsukuba.junet@relay.cs.net Postal Address: Masuda Laboratory Institute of Information Sciences and Electronics, University of Tsukuba Tsukuba, Ibaraki 305 JAPAN