Abstract
The environment is one of the execution states in programming language processors. The first-class environment is a reflective programming facility which enables us to use meta-level environments as object-level entities, and inversely, to use the object-level environments as meta-level entities. We named a lambda calculus with first-class environments the environment calculus, and studied various systems of the environment calculus. PCF (Programming Computable Functions) is a simply typed lambda calculus with natural numbers, Boolean values, and recursive operators, which was proposed as a formal framework for the semantical study of evaluation strategies.In this paper, we introduce an extended system of PCF with first-class environments and study evaluation strategies, such as call-by-name and call-by-value strategies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abadi, M., Cardelli, L., Curien, P.L., Lévy, J.J.: Explicit substitutions. Journal of Functional Programming 1(4), 375–416 (1991)
Gunter, C.A.: Semantics of programming languages: structures and techniques. The MIT Press (1992)
Hanson, C.: MIT/GNU Scheme Reference Manual (Release 9.1), 1.105 edn. (October 2011)
Mitchell, J.C.: Foundations for programming languages. The MIT Press (1996)
Nishizaki, S.: Simply typed lambda calculus with rst-class environments. Publication of Research Institute for Mathematical Sciences Kyoto University 30(6), 1055–1121 (1995)
Nishizaki, S.: Polymorphic environment calculus and its type inference algorithm. Higher-Order and Symbolic Computation 13(3) (2000)
Plotkin, G.: Call-by-name, call-by-value, and the -calculus. Theor. Comput. Sci. 1, 125–159 (1975)
Sato, M., Sakurai, T., Burstall, R.: Explicit environments. In: Girard, J.-Y. (ed.) TLCA 1999. LNCS, vol. 1581, pp. 340–354. Springer, Heidelberg (1999)
Scott, D.: A type-theoretical alternative to ISWIM, CUCH, OWHY. Theor. Comput. Sci. 121, 411–440 (1993)
Sperber, M., Dybvig, R.K., Flatt, M., van Straaten, A. (eds.): Revised [6] Reporton the Algorithmic Language Scheme. Cambridge University Press (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nishizaki, Sy. (2013). Evaluation Strategy and Translation of Environment Calculus. In: Yang, Y., Ma, M., Liu, B. (eds) Information Computing and Applications. ICICA 2013. Communications in Computer and Information Science, vol 391. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-53932-9_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-53932-9_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-53931-2
Online ISBN: 978-3-642-53932-9
eBook Packages: Computer ScienceComputer Science (R0)