- document
-
Vergu, V.A. (author), Haisma, M.A. (author), Visser, Eelco (author)Grace is a dynamic object oriented programming language<br/>designed to aid programming education. We present a formal<br/>model of and give an operational semantics for its object<br/>model and name resolution algorithm. Our main contributions <br/>are a systematic model of Grace’s name resolution using<br/>scope graphs, relating linguistic...conference paper 2017