Mikhail Barash

J. Comput. Lang., January, 2023

Algebraic Reasoning About Timeliness.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 16th Interaction and Concurrency Experience, 2023

Towards Reusable GUI Structures.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

Involving Users in Design of a Widely Used Language: A Case of ECMAScript (JavaScript) Standardization.

[BibT_eX]

[DOI]

Yulia Startsev

Rolf Martin Glomsrud

Proceedings of the Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, 2023

The Ultimate GUI Framework: Are We There Yet?

[BibT_eX]

[DOI]

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2021

Vision: the next 700 language workbenches.

[BibT_eX]

[DOI]

Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

Towards a Spreadsheet-Based Language Workbench.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Teaching MPS: Experiences from Industry and Academia.

[BibT_eX]

[DOI]

Vaclav Pech

Proceedings of the Domain-Specific Languages in Practice: with JetBrains MPS, 2021

2020

A New Life for Legacy Language Definition Approaches?

[BibT_eX]

[DOI]

Proceedings of the STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 2020

Example-driven software language engineering.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, 2020

Enabling language engineering for the masses.

[BibT_eX]

[DOI]

Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Manipulating GUI structures declaratively.

[BibT_eX]

[DOI]

Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

2018

Linear-space recognition for grammars with contexts.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2018

Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B.

[BibT_eX]

[DOI]

Inna Vistbakka

Elena Troubitsyna

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Generalized LR Parsing Algorithm for Grammars with One-Sided Contexts.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2017

A Foundational Framework for Step-by-step Model Construction.

[BibT_eX]

[DOI]

Ion Petre

Fundam. Informaticae, 2017

2015

Two-sided context specifications in formal grammars.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Linear grammars with one-sided contexts and their automaton representation.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2015

Generalized LR Parsing for Grammars with Contexts.

[BibT_eX]

[DOI]

Proceedings of the Computer Science - Theory and Applications, 2015

2014

An extension of context-free grammars with one-sided context specifications.

[BibT_eX]

[DOI]

Inf. Comput., 2014

Grammars with two-sided contexts.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014

2013

Programming language specification by a grammar with contexts.

[BibT_eX]

Proceedings of the Fifth Workshop on Non-Classical Models for Automata and Applications - NCMA 2013, Umeå, Sweden, August 13, 2013

2012

Defining Contexts in Context-Free Grammars.

[BibT_eX]

[DOI]