Using Spoofax to Support Online Code Navigation

Autor: Mosses, P.D., Lammel, Ralf, Mosses, Peter D., Steimann, Friedrich

Publikováno v: Eelco Visser Commemorative Symposium, EVCS 2023

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: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::37df60a1f9e1518458d9836421347856
https://doi.org/10.4230/oasics.evcs.2023.21

Modular semantics for transition system specifications with negative premises

Autor: Churchill, M., Mosses, P.D., Mousavi, M.R., D'Argenio, P.R., Melgratti, H.

Publikováno v: CONCUR 2013 – Concurrency Theory ISBN: 9783642401831
CONCUR
CONCUR 2013-Concurrency Theory (24th International Conference on Concurrency Theory, Buenos Aires, Argentina, August 27-30, 2013. Proceedings), 46-60
STARTPAGE=46;ENDPAGE=60;TITLE=CONCUR 2013-Concurrency Theory (24th International Conference on Concurrency Theory, Buenos Aires, Argentina, August 27-30, 2013. Proceedings)

Transition rules with negative premises are needed in the structural operational semantics of programming and specification constructs such as priority and interrupt, as well as in timed extensions of specification languages. The well-known proof-the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a9092c7c042264a93b3f5d5b7c5913fa
https://doi.org/10.1007/978-3-642-40184-8_5

Development of parsing tools for CASL using generic language technology

Autor: Brand, van den, M.G.J., Scheerder, J. (Jeroen), Bert, D., Choppy, C., Mosses, P.D.

Publikováno v: Recent Trends in Algebraic Development Techniques ISBN: 9783540678984
WADT
Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999), 89-105
STARTPAGE=89;ENDPAGE=105;TITLE=Recent Trends in Algebraic Development Techniques (Selected Papers, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999)

An environment for the Common Algebraic Specification Language CASL consists of several independent tools. A number of CASL tools have been built using the algebraic specification formalism ASF+SDF and the ASF+SDF Meta-Environment. CASL supports user

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bae4d3c45de12bc3c8f4ea377d8c679e
https://doi.org/10.1007/978-3-540-44616-3_6

Robustness of behavioral equivalence on open terms

Autor: Mosses, P.D., Mousavi, M.R., Reniers, M.A.

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: https://explore.openaire.eu/search/publication?articleId=narcis______::92de8ca7469725fa2f550f28185157aa
https://research.tue.nl/nl/publications/89d500fd-109d-466f-abf2-98c73ae81e84

Prototyping SOS meta-theory in Maude

Autor: Mousavi, M.R., Reniers, M.A., Mosses, P.D., Ulidowski, I.

Publikováno v: Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005), 135-150
STARTPAGE=135;ENDPAGE=150;TITLE=Proceedings of the 2nd Workshop on Structural Operational Semantics (SOS2005, Lisbon, Portugal, July 10, 2005; satellite to ICALP2005)

We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formulae, deduction rules and transition system specifications) in Maude. Bes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b8894907b433a0b900ae19b16085afe6
https://doi.org/10.1016/j.entcs.2005.09.030