Searched for: subject:"Programming%5C+Languages"
(1 - 6 of 6)
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
document
Visser, Eelco (author)
In this essay, I argue that linguistic abstraction should be used systematically as a tool to capture our emerging understanding of domains of computation. Moreover, to enable that systematic application, we need to capture our understanding of the domain of linguistic abstraction itself in higher-level meta languages. The argument is...
journal article 2015
document
Visser, E. (author)
Preprint submitted to "Science of Computer Programming", Elsevier, http://dx.doi.org/10.1016/j.scico.2013.12.001 In this essay, I argue that linguistic abstraction should be used systematically as a tool to capture our emerging understanding of domains of computation. Moreover, to enable that systematic application, we need to capture our...
report 2013
document
Kats, L.C. (author), Visser, E. (author)
Software platforms such as the Java Virtual Machine or the CLR .NET virtual machine have their own ecosystem of a core programming language or instruction set, libraries, and developer community. Programming languages can target multiple software platforms to increase interoperability or to boost performance. Introducing a new compiler backend...
report 2010
document
Boogaard, H.F.P. van den (author)
report 1996
document
Fokkema, J.T. (author), Van Leuken, T.G.R. (author)
conference paper 1983
Searched for: subject:"Programming%5C+Languages"
(1 - 6 of 6)