Search Results

WebAssembly (Wasm) is a portable low-level bytecode language and virtual machine that has seen increasing use in a variety of ecosystems. Its specification is unusually rigorous – including a full formal semantics for the language – and every new feature ...

The prevailing concept when teaching computer science to beginners in school is visual programming, typically in the form of block based languages. Most approaches in this area involve special teaching languages like Scratch. Our approach connects the ...

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 ...

Model-based parser generators such as ModelCC effectively decouple language design from language processing. ModelCC allows the specification of the abstract syntax model of a language as a set of language elements and their relationships. ModelCC ...

The tight coupling between language design and language processing in traditional language processing tools is avoided by model-based parser generators such as ModelCC. By decoupling language specification from language processing, ModelCC avoids the ...

ModelCC is a model-based parser generator. Model-based parser generators decouple language specification from language processing. This model-driven approach avoids the limitations imposed by parser generators whose language specifications must conform ...

Typically, formal languages are described by providing a textual BNF-like notation specification, which is then manually annotated for syntax-directed translation. When the use of an explicit model is required, its implementation requires the ...

The generalized regular expressions were introduced by I. Gruska [2]. We can find similar results in [1], [3], [4] and [7]. Using the given by results T. Rus [6], we define in this paper the generalized regular expressions of conditions.

This paper completes the ASM models developed for UML state machines in [4, 5] providing new submachines covering also transitions from and to concurrent states in the context of event deferring and run-to-completion. Due to the modular structure of the ...

Java has many benefits such as security in distributed environments, reusability of code, and portability because it is architecture neutral. From those characteristics, Java is beginning to be used in many new environments. Even though Java provides ...

This paper presents an overview of VisiTile-a toolkit for developing domain-oriented visual languages. The class of visual languages that can be constructed with VisiTile is briefly described, followed by examples of such languages. An overview of the ...