• BERT

  • Referenced in 103 articles [sw30756]
  • BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. We introduce a new language ... Bidirectional Encoder Representations from Transformers. Unlike recent language representation models, BERT is designed...
  • Stratego

  • Referenced in 78 articles [sw01259]
  • language and toolset for program transformation. The Stratego language provides rewrite rules for expressing basic ... transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing ... object language, and dynamic rewrite rules for expressing context-sensitive transformations, thus supporting the development...
  • VIATRA2

  • Referenced in 33 articles [sw03511]
  • model transformation language of the VIATRA2 framework. We present the model transformation language ... provides a rule- and pattern-based transformation language for manipulating graph models by combining graph ... transformation and abstract state machines into a single specification paradigm. This language offers advanced constructs ... graph patterns) and manipulating models (e.g. generic transformation and meta-transformation rules) in unidirectional model...
  • ATL

  • Referenced in 24 articles [sw10093]
  • number of specialized languages have been proposed, aimed at specifying model transformations. Apart ... from the software engineering properties of transformation languages, the availability of high quality tool support ... paper we present ATL: a model transformation language and its execution environment based...
  • TRIPLE

  • Referenced in 21 articles [sw02460]
  • TRIPLE –a query, inference, and transformation language for the semantic web. This paper presents TRIPLE ... layered and modular rule language for the Semantic Web. TRIPLE is based on Horn logic ... especially designed for querying and transforming RDF models. TRIPLE can be viewed as a successor ... FaCT, resulting in a hybrid rule language. This paper sketches syntax and semantics of TRIPLE...
  • Henshin

  • Referenced in 14 articles [sw10085]
  • Tools for In-Place EMF Model Transformations. The Eclipse Modeling Framework (EMF) provides modeling ... structured data models. Henshin is a new language and associated tool set for in-place ... transformations of EMF models. The Henshin transformation language uses pattern-based rules on the lowest ... execution and analysis tools. The Henshin transformation language has its roots in attributed graph transformations...
  • OpenAD/F

  • Referenced in 24 articles [sw09380]
  • easy extension of the code transformations in a language-independent fashion. It uses code analysis ... OpenAnalysis component. The interface to the language-independent transformation engine is an XML-based format...
  • TXL

  • Referenced in 18 articles [sw11319]
  • source transformation language. TXL is a special-purpose programming language designed for creating, manipulating...
  • CIL

  • Referenced in 36 articles [sw26691]
  • intermediate language and tools for analysis and transformation of C programs. This paper describes ... Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis ... source-to-source transformation of C programs. Compared to C, CIL has fewer constructs ... also more high-level than typical intermediate languages (e.g., three-address code) designed for compilation...
  • biXid

  • Referenced in 9 articles [sw12667]
  • biXid: a bidirectional transformation language for XML. Often, independent organizations define and advocate different ... convert between such formats. Existng XML transformation languages, such as XSLT and XDuce, are unsatisfactory ... programs for the forward and the backward transformations in case of two formats, incur high ... This paper proposes the bidirectional XML transformation language biXid, allowing us to write only...
  • AGG

  • Referenced in 50 articles [sw04449]
  • model, graph transformation based evolution of software, and the definition of visual languages based...
  • CESAR

  • Referenced in 161 articles [sw08510]
  • description is done in a high level language inspired from CSP and specifications ... iteratively as fixed points of monotonic predicate transformers. The verification of a system consists...
  • Schwarz-Christoffel

  • Referenced in 235 articles [sw00833]
  • although the numerical aspects of these transformations have been studied, there are few software implementations ... toolbox, written entirely in the MATLAB script language, exploits the high-level functions, interactive environment...
  • Bandera

  • Referenced in 134 articles [sw07663]
  • integrated collection of program analysis, transformation, and visualization components designed to facilitate experimentation with model ... requirement formalized in Bandera’s temporal specification language, and it generates a program model...
  • DACTL

  • Referenced in 28 articles [sw02871]
  • number of languages can be described as graph rewriting transformations using Dactl notation. This ... syntax and semantics of the language. Some implementation issues are also discussed...
  • K-Maude

  • Referenced in 11 articles [sw09747]
  • rewriting-based framework for defining programming languages. K-Maude is a tool implementing ... collection of tools for transforming K language definitions into Maude rewrite theories for execution...
  • DiaGen

  • Referenced in 28 articles [sw10321]
  • hypergraph transformation. Diagram editors which are tailored to a specific diagram language typically support either ... directed editing is realized by programmed hypergraph transformation of these internal hypergraphs. This approach ... does not restrict the class of diagram languages which it can be applied...
  • TASTY

  • Referenced in 20 articles [sw09865]
  • data in a domain-specific language. This is automatically transformed into a protocol. TASTY provides...
  • LUSTRE

  • Referenced in 38 articles [sw08938]
  • time. After an informal presentation of the language, we describe its semantics by means ... program. Formal rules for program transformation are also presented...
  • Transformer-XL

  • Referenced in 7 articles [sw36208]
  • Transformer-XL: Attentive Language Models Beyond a Fixed-Length Context. Transformers have a potential ... setting of language modeling. We propose a novel neural architecture Transformer-XL that enables learning...