Searched for: subject:"dynamic%5C+semantics"
(1 - 3 of 3)
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
Poulsen, C.B. (author), Neron, P.J.M. (author), Tolmach, Andrew (author), Visser, Eelco (author)
Semantic specifications do not make a systematic connection between the names and scopes in the static structure of a program and memory layout, and access during its execution. In this paper we introduce a systematic approach to the alignment of names in static semantics and memory in dynamic semantics, building on the scope graph framework...
conference paper 2016
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