Searched for: +
(1 - 5 of 5)
document
Vergu, V.A. (author), Tolmach, Andrew (author), Visser, Eelco (author)
DynSem is a domain-specific language for concise specification of the dynamic semantics of programming languages, aimed at rapid experimentation and evolution of language designs. To maintain a short definition-to-execution cycle, DynSem specifications are meta-interpreted. Meta-interpretation introduces runtime overhead that is difficult to...
conference paper 2019
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
document
Vergu, V.A. (author), Neron, P.J.M. (author), Visser, Eelco (author)
The formal 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 programming...
conference paper 2015
document
Visser, Eelco (author), Wachsmuth, G.H. (author), Tolmach, Andrew (author), Neron, P.J.M. (author), Vergu, V.A. (author), Passalaqua Martins, A. (author), Konat, G.D.P. (author)
The realization of a language design requires multiple artifacts that redundantly encode the same information. This entails significant effort for language implementors, and often results in late detection of errors in language definitions. In this paper we present a proof-of-concept language designer's workbench that supports generation of IDEs...
conference paper 2014
document
Erdweg, S.T. (author), Vergu, V.A. (author), Mezini, Mira (author), Visser, Eelco (author)
A key problem in metaprogramming and specifically in generative programming is to guarantee that generated code is well-formed with respect to the context-free and context-sensitive constraints of the target language. We propose typesmart constructors as a dynamic approach to enforcing the well-formedness of generated code. A typesmart...
conference paper 2014
Searched for: +
(1 - 5 of 5)