2010/05/10 by Julien Cohen, Cohen, Julien, Jean-Louis Giavitto +4
Computer Science · Health Professions · #FOS: Computer and information sciences #Interpreting and Communication in Healthcare #Natural Language Processing Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #cs.PL #cs.SE
paper · pdf · doi:10.48550/arxiv.1005.1466
33 pages
arxiv created 2010/05/10 · openalex publication_date 2010/05/10 · arxiv updated 2010/05/11 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (the language which is used to build the interpreter). In order to transform user-defined functions into host language functions we use combinatory logic : lambda-abstractions are transformed into a composition of combinators. We provide a mechanically checked proof that this step is correct for the call-by-value strategy with imperative features.