Zobrazeno 1 - 10
of 141
pro vyhledávání: '"Mosses, Peter D."'
Autor:
Mosses, Peter D.
Software language design and implementation often involve specifications written in various esoteric meta-languages. Language workbenches generally include support for precise name-based navigation when browsing language specifications locally, but s
Externí odkaz:
http://arxiv.org/abs/2309.06121
Autor:
Mosses, Peter D.
Spoofax is a language workbench. A Spoofax language specification generally includes name resolution: the analysis of bindings between definitions and references. When browsing code in the specified language using Spoofax, the bindings appear as hype
Externí odkaz:
http://arxiv.org/abs/2303.03015
Autor:
Mosses, Peter D.
When a new programming language appears, the syntax and intended behaviour of its programs need to be specified. The behaviour of each language construct can be concisely specified by translating it to fundamental constructs (funcons), compositionall
Externí odkaz:
http://arxiv.org/abs/2107.10545
Autor:
Mosses, Peter D.
Publikováno v:
EPTCS 310, 2019, pp. 29-34
The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely. CBS pro
Externí odkaz:
http://arxiv.org/abs/1912.10631
Publikováno v:
EPTCS 212, 2016, pp. 63-80
It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited
Externí odkaz:
http://arxiv.org/abs/1606.06381
Autor:
Poulsen, Casper Bach, Mosses, Peter D.
Structural operational semantic specifications come in different styles: small-step and big-step. A problem with the big-step style is that specifying divergence and abrupt termination gives rise to annoying duplication. We present a novel approach t
Externí odkaz:
http://arxiv.org/abs/1605.02935
Autor:
Mosses, Peter D.
Publikováno v:
In Journal of Visual Languages and Computing February 2019 50:39-48
Publikováno v:
EPTCS 41, 2010, pp. 106-120
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under which such equations are preserved is extremely useful; in particular, it can avoid the need t
Externí odkaz:
http://arxiv.org/abs/1011.6435
Publikováno v:
Eelco Visser Commemorative Symposium, EVCS 2023
Static name binding (i.e., associating references with appropriate declarations) is an essential aspect of programming languages. However, it is usually treated in an unprincipled manner, often leaving a gap between formalization and implementation.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6cf1afc5961249778730343ad87bdda9
http://resolver.tudelft.nl/uuid:3024d587-7c5d-44bd-8471-27b7c2e59160
http://resolver.tudelft.nl/uuid:3024d587-7c5d-44bd-8471-27b7c2e59160
Autor:
Groenewegen, D.M., van Chastelet, E., de Krieger, M.M., Pelsmaeker, D.A.A., Anslow, Craig, Lammel, Ralf, Mosses, Peter D., Steimann, Friedrich
Publikováno v:
Eelco Visser Commemorative Symposium, EVCS 2023
Conferences are great opportunities for sharing research, debating solutions, and networking. For the organizing committee there is a considerable deal of complexity and effort required to provide attendees and organizers with ways to find and manage
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7639e481b3b0b247181a7d7ab39215ad
http://resolver.tudelft.nl/uuid:b8db7ae2-9a74-4b42-8d4c-1503961b5ed0
http://resolver.tudelft.nl/uuid:b8db7ae2-9a74-4b42-8d4c-1503961b5ed0