Searched for:
(1 - 2 of 2)
document
Vergu, V.A. (author), Visser, Eelco (author)
Grace is a dynamic object oriented programming language
designed to aid programming education. We present a formal
model of and give an operational semantics for its object
model and name resolution algorithm. Our main contributions
are a systematic model of Grace’s name resolution using
scope graphs, relating linguistic...
conference paper 2017
document
Vergu, V. (author), Neron, P. (author), Visser, E. (author)
The formal definition the semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of...
report 2015