Abstract
We investigate mutual dependencies of subexpressions of a computable expression, in orthogonal rewrite systems, and identify conditions for their concurrent independent computation. To this end, we introduce concepts familiar from ordinary Euclidean Geometry (such as basis, projection, distance, etc.) for reduction spaces. We show how a basis for an expression can be constructed so that any reduction starting from that expression can be decomposed as the sum of its projections on the axes of the basis. To make the concepts more relevant computationally, we relativize them w.r.t. stable sets of results, and show that an optimal concurrent computation of an expression w.r.t. S consists of optimal computations of its S-independent subexpressions. All these results are obtained for Stable Deterministic Residual Structures, Abstract Reduction Systems with an axiomatized residual relation, which model all orthogonal rewrite systems.
Part of this work was supported by the Engineering and Physical Sciences Research Council of Great Britain under grant GR/H 41300
Preview
Unable to display preview. Download preview PDF.
References
Asperti A., Laneve C. Interaction Systems I: The theory of optimal reductions. MSCS 11:1–48, Cambridge University Press, 1993.
Barendregt H. P. The Lambda Calculus, its Syntax and Semantics. North-Holland, 1984.
Glauert J.R.W., Khasidashvili Z. Relative normalization in deterministic residual structures. CAAP'96, Springer LNCS, vol. 1059, H. Kirchner, ed. 1996, p. 180–195.
Gonthier G., Lévy J.-J., Melliès P.-A. An abstract Standardisation theorem. In: Proc. of LICS 1992, p. 72–81.
Hindley R.J. An abstract form of the Church-Rosser theorem I. JSL, 34(4):545–560, 1969.
Huet G., Lévy J.-J. Computations in Orthogonal Rewriting Systems. In: Computational Logic, Essays in Honor of Alan Robinson, J.-L. Lassez and G. Plotkin, eds. MIT Press, 1991, p. 394–443.
Kennaway J. R., Klop J. W., Sleep M. R., de Vries F.-J. On the adequacy of Graph Rewriting for simulating Term Rewriting. ACM Transactions on Programming Languages and Systems, 16(3):493–523, 1994.
Khasidashvili Z. Optimal normalization in orthogonal term rewriting systems. In: Proc. of RTA'93, Springer LNCS, vol. 690, C. Kirchner, ed. Montreal, 1993, p. 243–258.
Khasidashvili Z. On higher order recursive program schemes. In: Proc. of CAAP'94, Springer LNCS, vol. 787, S. Tison, ed. Edinburgh, 1994, p. 172–186.
Khasidashvili Z., Glauert J. R. W. Discrete normalization and Standardization in Deterministic Residual Structures. In proc. of ALP'96, Springer LNCS, vol. 1139, M. Hanus, M. RodrÃguez-Artalejo, eds. 1996, p.135–149.
Khasidashvili Z., Glauert J.R.W. Zig-zag, extraction and separable families in non-duplicating stable deterministic residual structures. Technical Report IR-420, Free University, February 1997.
Khasidashvili Z., Glauert J. R. W. Relating conflict-free transition and event models. Submitted.
Klop J. W. Combinatory Reduction Systems. Mathematical Centre Tracts n. 127, Amsterdam, 1980.
Klop J. W. Term Rewriting Systems. In: S. Abramsky, D. Gabbay, and T. Maibaum eds. Handbook of Logic in Computer Science, vol. II, Oxford U. Press, 1992, p. 1–116.
Lévy J.-J. Optimal reductions in the λ-calculus. In: To H. B. Curry: Essays on Combinatory Logic, Lambda-calculus and Formalizm, Hindley J. R., Seldin J. P. eds, Academic Press, 1980, p. 159–192.
Maranget L. La stratégie paresseuse. Thèse de l'Université de Paris VII, 1992.
Milner R. Functions as processes. MSCS 2(2):119–141, 1992.
Melliès P.-A. Description Abstraite des Systèmes de Réécriture. Thèse de l'Université Paris 7, 1996.
Van Oostrom V. Confluence for Abstract and Higher-Order Rewriting. Ph.D. Thesis, Free University, Amsterdam, 1994.
Van Oostrom V. Higher order families. In: Proc. of RTA'96, Springer LNCS, vol. 1103, Ganzinger, H., ed., 1996, p. 392–407.
van Raamsdonk F. Confluence and normalisation for higher-order rewriting. Ph.D. Thesis, Free University, Amsterdam, 1996.
Stark E. W. Concurrent transition systems. J. TCS, 64(3):221–270, 1989.
Winskel G. An introduction to Event Structures. Springer LNCS, vol. 354, 1989, p. 364–397.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Khasidashvili, Z., Glauert, J. (1997). The geometry of orthogonal reduction spaces. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds) Automata, Languages and Programming. ICALP 1997. Lecture Notes in Computer Science, vol 1256. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63165-8_219
Download citation
DOI: https://doi.org/10.1007/3-540-63165-8_219
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63165-1
Online ISBN: 978-3-540-69194-5
eBook Packages: Springer Book Archive