4th International Conference, ICICA 2013, Singapore, August 16-18, 2013, Revised Selected Papers, Part I (Communications in Computer and Information Science book series)
巻, 号, ページ
Vol. 391
pp. 232-242
出版年月
2013年12月13日
出版者
和文:
英文:
Springer Heidelberg New York Dordrecht London
会議名称
和文:
英文:
International Conference on Information Computing and Applications, ICICA 2013
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.
各種検索
サポート
ヘルプ