Showing papers in "Computer Languages, Systems & Structures in 2015"

TL;DR: A survey on MDE is presented based on a unified conceptual model that clearly identifies and relates these essential concepts, namely the concepts of system, model, metamodel, modeling language, transformations, software platform, and software product.

TL;DR: A feature model is established that captures the design space of language workbenches and is presented as a generic feature model within which the approaches can be understood and contrasted.

TL;DR: This paper presents a model of language development that puts feature implementation at the center, and describes its implementation in the Neverlang framework, which has been evaluated through several languages implementations.

TL;DR: This work proposes a framework for developing domain-specific debuggers, called the Moldable Debugger, that enables debugging at the level of the application domain, and motivates the need fordomain-specific debugging, and identifies a set of key requirements.

TL;DR: The trace semantics represents the behaviour of protected assembly code with simple abstractions, unburdened by low-level details, at the maximum degree of precision and captures the capabilities of attackers to protected code and simplifies the formulation of a secure compiler targeting PMA-enhanced assembly language.

TL;DR: This paper presents the evaluation study of the MIST EER domain-specific language, a part of the Multi-Paradigm Information System Modeling Tool that supports EER approach to a database design.

TL;DR: This paper presents an extension of the Mizar language - an ellipsis that is used to define flexary logical connectives and defines flexary conjunction and flexary disjunction, which can be understood as generalization of classical conjunction and classical disJunction, respectively.

TL;DR: A DSML is proposed for concurrent programs, called DSML4CP, to work in a higher level of abstraction than code level, and the concepts of concurrent programs and their relationships are presented in a metamodel.

TL;DR: The first empirical study, which analyzes the current state of practice in metamodels that actually use logical expressions to constrain the structure, and identifies the set of OCL constructs actually used in rules.

TL;DR: In this paper, the authors present a Python and Prolog composition which allows Python programs to embed and call Prolog programs, and investigate the runtime performance of composed programs in high-level languages.

TL;DR: An approach and a domain-specific language (DSL) aimed at enabling a complete specification of application-specific functionalities at the PIM level, named IIS*CFuncLang is proposed and embedded into a Model-Driven Software Development tool, named Integrated Information Systems CASE.

TL;DR: A technique to combine deep and shallow embedding in the context of compiling embedded languages in order to provide the benefits of both techniques and to give the embedded language a more natural programming interface is presented.

TL;DR: It is shown that the mechanism for on-the-fly modification of syntax rules can be useful for defining grammars in a modular way, implementing almost all types of language composition in the context of specification of extensible languages.

TL;DR: It is proved that the expected formal properties of symbolic execution has the properties naturally expected from it (with respect to concrete program execution) in the proposed language-independent symbolic execution framework for languages.

TL;DR: How to use a functional video game approach to engage beginning students in problem solving that employs generative and accumulative recursion while at the same time reinforcing the lessons on structural recursion and abstraction is explored.

TL;DR: Artykul sklada sie z trzech cześci as discussed by the authors, odnoszące sie do rozprawy karnej oraz omawia skutki, jakie one spowodują w polskim dyskursie sądowym.

TL;DR: J% checks the syntax and semantics of sql statements at compile-time, and generates code that uses standard jdbc api calls, enhancing runtime efficiency and security against sql injection attacks.

TL;DR: A component-level exception mechanism for programmers to build robust Android programs with a formal semantics for Android-Java with exceptions to prove the robustness theoretically and in practice with a domain-specific library that extends existing Android components.

TL;DR: A new approach to model transformation development is proposed which allows to simplify the developed transformations and improve their quality via the exploitation of the languages' structures and it is shown that such transformations have important properties: they terminate and are sound, complete, and deterministic.

TL;DR: Suitable notions of bisimulation and refinement, to which the architect may resort to compare configurations, are given, and their relationship with modal validity is discussed.

TL;DR: Ainsi, les dispositifs de communication en ligne servent non seulement a tester de nouveaux formats of mediation entre citoyens and decideurs, mais aussi a mettre en scene and a valider une democratisation en marche du fonctionnement institutionnel de l'UE as discussed by the authors.

TL;DR: Face a la pregnance de l’evaluation parmi les formes and pratiques dominantes du Web, on propose une analyse semiotique des dispositifs and des marques qui la soutiennent, ainsi que sur la semiotiques tensive pour analyser les grandeurs quantitatives a cette docimologie.

TL;DR: This article introduces a generalized evaluation algorithm that can handle grammars where circular attributes and rewrites are interdependent, and introduces circular nonterminal attributes, and shows how RAG rewrits are equivalent to such attributes.

TL;DR: A new validation tool for binary translators that supports static, dynamic, and hybrid binary translator, and proposes two mechanisms to make the comparisons into simple equality checks.

TL;DR: The use of membranes in various gas separations has increased significantly in recent times as discussed by the authors, and a review of the recent noteworthy advances in the field of membranes materials for these applications is presented.

TL;DR: In this article, the authors present the operation of the Commission for Professional Accountability of Sworn Translators at the Minister of Justice looking back on its almost ten-year history and carry out a quantitative and qualitative analysis of the cases which have been heard so far at hearings conducted before the Commission.