Home >

news Help

Publication Information


Title
Japanese: 
English:Evaluation Strategy and Translation of Environment Calculus 
Author
Japanese: 西崎 真也.  
English: Shin-ya Nishizaki.  
Language English 
Journal/Book name
Japanese: 
English:4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I (Communications in Computer and Information Science book series) 
Volume, Number, Page Vol. 391        pp. 232-242
Published date Dec. 13, 2013 
Publisher
Japanese: 
English:Springer Heidelberg New York Dordrecht London 
Conference name
Japanese: 
English:International Conference on Information Computing and Applications, ICICA 2013 
Conference site
Japanese: 
English:Singapore 
DOI https://doi.org/10.1007/978-3-642-53932-9_23
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.

©2007 Tokyo Institute of Technology All rights reserved.