Abstract
We report progress in two closely related lines of research: the semantic study of sequentially and parallelism, and the development of a theory of intensional semantics. We generalize Kahn and Plotkin's concrete data structures to obtain a cartesian closed category of generalized concrete data structures and continuous functions. The generalized framework continues to support a definition of sequential functions. Using this ccc as an extensional framework, we define an intensional framework — a ccc of generalized concrete data structures and parallel algorithms. This construction is an instance of a more general and more widely applicable category-theoretic approach to intensional semantics, encapsulating a notion of intensional behavior as a computational comonad, and employing the co-Kleisli category as an intensional framework. We discuss the relationship between parallel algorithms and continuous functions, and supply some operational intuition for the parallel algorithms. We show that our parallel algorithms may be seen as a generalization of Berry and Curien's sequential algorithms.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
G. Berry and P.-L. Curien. Sequential algorithms on concrete data structures. Theoretical Computer Science, 20:265–321, 1982.
G. Berry, P.-L. Curien, and J.-J. Lévy. Full abstraction for sequential languages: the state of the art. In M. Nivat and J. C. Reynolds, editors, Algebraic Methods in Semantics, chapter 3, pages 89–132. Cambridge University Press, 1985.
G. Berry. Stable models of typed λ-calculi. In Proc. 5th Coll. on Automata, Languages and Programming, number 62 in Lecture Notes in Computer Science, pages 72–89. Springer-Verlag, July 1978.
S. Brookes and S. Geva. Towards a theory of parallel algorithms on concrete data structures. In Semantics for Concurrency, Leicester 1990, pages 116–136. Springer-Verlag, 1990. To appear in Theoretical Computer Science (1992).
S. Brookes and S. Geva. A cartesian closed category of parallel algorithms between Scott domains. Technical Report CMU-CS-91-159, Carnegie Mellon University, School of Computer Science, July 1991. Submitted for publication.
L. Colson. About primitive recursive algorithms. In Proceedings of ICALP89, volume 372 of Lecture Notes in Computer Science, pages 194–206. Springer-Verlag, 1989.
P.-L. Curien. Categorical Combinators, Sequential Algorithms and Functional Programming. Research Notes in Theoretical Computer Science. Pitman, 1986.
G. Kahn and G. D. Plotkin. Domaines concrets. Rapport 336, IRIA-LABORIA, 1978.
R. Milner. Fully abstract models of typed lambda-calculi. Theoretical Computer Science, 4:1–22, 1977.
S. Mac Lane. Categories for the Working Mathematician. Springer-Verlag, 1971.
G. D. Plotkin. LCF considered as a programming language. Theoretical Computer Science, 5(3):223–255, 1977.
R. A. G. Seely. Linear logic, *-autonomous categories and cofree coalgebras. Contemporary Mathematics, 92:371–382, 1989.
A. Stoughton. Fully Abstract Models of Programming Languages. Research Notes in Theoretical Computer Science. Pitman, 1988.
J. Vuillemin. Proof techniques for recursive programs. PhD thesis, Stanford University, 1973.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brookes, S., Geva, S. (1992). Continuous functions and parallel algorithms on concrete data structures. In: Brookes, S., Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Semantics. MFPS 1991. Lecture Notes in Computer Science, vol 598. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55511-0_17
Download citation
DOI: https://doi.org/10.1007/3-540-55511-0_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55511-7
Online ISBN: 978-3-540-47194-3
eBook Packages: Springer Book Archive