The Experts below are selected from a list of 13095 Experts worldwide ranked by ideXlab platform
Thomas Baar - One of the best experts on this subject based on the ideXlab platform.
-
Ershov Memorial Conference - Verification Support for a State-Transition-DSL Defined with Xtext
Lecture Notes in Computer Science, 2016Co-Authors: Thomas BaarAbstract:A Domain-Specific Language (DSL) allows the succinct modeling of phenomena in a problem domain. Modern DSL-tools make it easy for a Language Designer to define the syntax of a new DSL, to specify code generators or to build a new DSL on top of existing DSLs. Based on the Language specification, the DSL-tool then generates rich editors. Often, these editors support features such as syntax highlighting, code completion or automatic refactoring.
Giuliana Vitiello - One of the best experts on this subject based on the ideXlab platform.
-
sr task grammars a formal specification of human computer interaction for interactive visual Languages
IEEE Symposium on Human Centric Computing Languages and Environments, 2003Co-Authors: Rosanna Cassino, Genoveffa Tortora, Maurizio Tucci, Giuliana VitielloAbstract:The paper describes a formal model to specify the syntax and semantics of interactive visual Languages by SR-task grammars. The proposed approach provides Language Designers with a new type of grammars based on the formalism of symbol-relation grammars, where a new form of production rules allows to directly specify the interactive behavior of the visual environments described. Therefore, the Language Designer only has to define the development of a visual scenario depending on occurring events, and the changes of the state of a scene is regarded as the application of a rewriting rule.
-
HCC - SR-task grammars: a formal specification of human computer interaction for interactive visual Languages
IEEE Symposium on Human Centric Computing Languages and Environments 2003. Proceedings. 2003, 1Co-Authors: Rosanna Cassino, Genoveffa Tortora, Maurizio Tucci, Giuliana VitielloAbstract:The paper describes a formal model to specify the syntax and semantics of interactive visual Languages by SR-task grammars. The proposed approach provides Language Designers with a new type of grammars based on the formalism of symbol-relation grammars, where a new form of production rules allows to directly specify the interactive behavior of the visual environments described. Therefore, the Language Designer only has to define the development of a visual scenario depending on occurring events, and the changes of the state of a scene is regarded as the application of a rewriting rule.
Combemale Benoit - One of the best experts on this subject based on the ideXlab platform.
-
Automatic generation of Truffle-based interpreters for Domain-Specific Languages
Chair of Software Engineering, 2020Co-Authors: Leduc Manuel, Jouneaux Gwendal, Degueule Thomas, Le Guernic Gurvan, Barais Olivier, Combemale BenoitAbstract:International audienceNumerous Language workbenches have been proposed over the past decade to ease the definition of Domain-Specific Languages (DSLs). Language workbenches enable Language Designers to specify DSLs using high-level metaLanguages and to generate their implementation (e.g., parsers, interpreters) and tool support (e.g., editors, debuggers) automatically. However, little attention has been given to the performance of the resulting interpreters. In many domains where performance is key (e.g., scientific and high-performance computing), this forces Language Designer to hand-craft ad-hoc optimizations in the interpreter implementations, or to lose compatibility with tool support. In this paper, we propose to systematically exploit the domain-specific information of Language specifications to derive optimized Truffle-based Language interpreters executed over the GraalVM. We implement our approach on top of the Eclipse Modeling Framework (EMF) by complementing its existing compilation chain with Truffle-specific information, which drives the GraalVM to benefit from an optimized just-in-time compilation. A key benefit of our approach is that it leverages existing Language specifications and does not require additional information from Language Designers who remain oblivious of Truffle's low-level intricacies and JIT optimizations in general while staying compatible with tool support. We evaluate our approach using a representative set of four DSLs and eight conforming programs. Compared to the standard interpreters generated by EMF running on the GraalVM, we observe an average speed-up of x1.14, ranging from x1.07 to x1.26. Although the benefits vary slightly from one DSL or program to another, we conclude that our approach yields substantial performance gains while remaining non-intrusive of EMF abstractions
-
Automatic generation of Truffle-based interpreters for Domain-Specific Languages
HAL CCSD, 2019Co-Authors: Leduc Manuel, Jouneaux Gwendal, Degueule Thomas, Le Guernic Gurvan, Barais Olivier, Combemale BenoitAbstract:Numerous Language workbenches have been proposed over the past decade to ease the definition of Domain-Specific Languages (DSLs). Language workbenches enable Language Designers to specify DSLs using high-level metaLanguages and to generate their implementation (e.g., parsers, interpreters) and tool support (e.g., editors, debuggers) automatically. However, little attention has been given to the performance of the resulting interpreters. In many domains where performance is key (e.g., scientific and high-performance computing), this forces Language Designer to hand-craft ad-hoc optimizations in the interpreter implementations, or to lose compatibility with tool support. In this paper, we propose to systematically exploit the domain-specific information of Language specifications to derive optimized Truffle-based Language interpreters executed over the GraalVM. We implement our approach on top of the Eclipse Modeling Framework (EMF) by complementing its existing compilation chain with Truffle-specific information, which drives the GraalVM to benefit from an optimized just-in-time compilation. A key benefit of our approach is that it leverages existing Language specifications and does not require additional information from Language Designers who remain oblivious of Truffle's low-level intricacies and JIT optimizations in general while staying compatible with tool support. We evaluate our approach using a representative set of four DSLs and eight conforming programs. Compared to the standard interpreters generated by EMF running on the GraalVM, we observe an average speed-up of x1.14, ranging from x1.07 to x1.26. Although the benefits vary slightly from one DSL or program to another, we conclude that our approach yields substantial performance gains while remaining non-intrusive of EMF abstractions
Wei Guo - One of the best experts on this subject based on the ideXlab platform.
-
the development approaches and research of uniform rules Language Designer
International Conference on Automation and Logistics, 2011Co-Authors: Wei GuoAbstract:This paper introduces a plug-in (Visual uniform rules Designer) design that is deemed necessary to allow computer programmers to design business rules in eclipse so that the rules generated can work in different rule engines. The version of the application has been used as a case study and it has been applied successfully in a local Logistics management project In this paper, the eclipse is used to develop the plug-in based on related XML and eclipse plug-in library. The method is that some XML schema are created and then a middle converter converts the XML files, including the graphical rules notation that has been designed in eclipse, to the corresponding rules files. Such transformation can help XML based rules work in various rule engines. The paper first briefly review relevant aspects of eclipse and XML Then the design process, test, results and discussion are presented.
-
ICAL - The development approaches and research of uniform rules Language Designer
2011 IEEE International Conference on Automation and Logistics (ICAL), 2011Co-Authors: Wei GuoAbstract:This paper introduces a plug-in (Visual uniform rules Designer) design that is deemed necessary to allow computer programmers to design business rules in eclipse so that the rules generated can work in different rule engines. The version of the application has been used as a case study and it has been applied successfully in a local Logistics management project In this paper, the eclipse is used to develop the plug-in based on related XML and eclipse plug-in library. The method is that some XML schema are created and then a middle converter converts the XML files, including the graphical rules notation that has been designed in eclipse, to the corresponding rules files. Such transformation can help XML based rules work in various rule engines. The paper first briefly review relevant aspects of eclipse and XML Then the design process, test, results and discussion are presented.
Rosanna Cassino - One of the best experts on this subject based on the ideXlab platform.
-
sr task grammars a formal specification of human computer interaction for interactive visual Languages
IEEE Symposium on Human Centric Computing Languages and Environments, 2003Co-Authors: Rosanna Cassino, Genoveffa Tortora, Maurizio Tucci, Giuliana VitielloAbstract:The paper describes a formal model to specify the syntax and semantics of interactive visual Languages by SR-task grammars. The proposed approach provides Language Designers with a new type of grammars based on the formalism of symbol-relation grammars, where a new form of production rules allows to directly specify the interactive behavior of the visual environments described. Therefore, the Language Designer only has to define the development of a visual scenario depending on occurring events, and the changes of the state of a scene is regarded as the application of a rewriting rule.
-
HCC - SR-task grammars: a formal specification of human computer interaction for interactive visual Languages
IEEE Symposium on Human Centric Computing Languages and Environments 2003. Proceedings. 2003, 1Co-Authors: Rosanna Cassino, Genoveffa Tortora, Maurizio Tucci, Giuliana VitielloAbstract:The paper describes a formal model to specify the syntax and semantics of interactive visual Languages by SR-task grammars. The proposed approach provides Language Designers with a new type of grammars based on the formalism of symbol-relation grammars, where a new form of production rules allows to directly specify the interactive behavior of the visual environments described. Therefore, the Language Designer only has to define the development of a visual scenario depending on occurring events, and the changes of the state of a scene is regarded as the application of a rewriting rule.