• LMS

  • Referenced in 4 articles [sw19986]
  • Good software engineering practice demands generalization and abstraction, whereas high performance demands specialization and concretization ... level, allowing programmers to tightly integrate domain-specific abstractions and optimizations into the generation process ... well suited to develop embedded domain-specific languages (DSLs) and has been used to develop...
  • Slate

  • Referenced in 2 articles [sw31053]
  • Slate: extending Firedrake’s domain-specific abstraction to hybridized solvers for geoscience and beyond. Within ... this paper, we introduce a domain-specific abstraction within the Firedrake finite element library that...
  • mbeddr

  • Referenced in 2 articles [sw22663]
  • adequate for defining higher-level abstractions relevant to embedded software. In this paper we present ... known concepts from C. Higher-level domain-specific abstractions can be seamlessly integrated into...
  • FORMULA 2.0

  • Referenced in 2 articles [sw13248]
  • goals are (1) succinct specifications of domain-specific abstractions and compilers, (2) efficient reasoning...
  • UFL

  • Referenced in 50 articles [sw11183]
  • Form Language (UFL), which is a domain-specific language for representing weak formulations of partial ... open-source software library. The library generates abstract syntax tree representations of variational problems, which...
  • ASPIER

  • Referenced in 6 articles [sw09852]
  • iterative abstraction-refinement methodology for software model checking with a domain-specific protocol and symbolic...
  • Joe-E

  • Referenced in 1 article [sw35849]
  • bypassed; introduce and use domain-specific security abstractions; safely execute and interact with untrusted code...
  • Meta Model Isabelle

  • Referenced in 1 article [sw28588]
  • machines, ..., and generally speaking, any domain-specific languages whose abstract syntax can be defined...
  • Prefuse

  • Referenced in 7 articles [sw10654]
  • often difficult to author and require domain-specific customization. To address these issues, we have ... unstructured data. prefuse provides theoretically-motivated abstractions for the design of a wide range...
  • DiSL

  • Referenced in 3 articles [sw06886]
  • frameworks, they typically provide only low-level abstractions and require detailed knowledge of the Java ... give an introduction to DiSL, a domain-specific aspect language and framework for bytecode instrumentation ... expressiveness of the language, high level of abstraction, and efficiency of the generated code...
  • KALA

  • Referenced in 1 article [sw02710]
  • transaction management. Finally, being a domain-specific aspect language, KALA allows programmers to express their ... needs at a higher level of abstraction than what is achieved with general-purpose aspect ... Reflex AOP kernel for domain-specific aspect languages...
  • Swift

  • Referenced in 4 articles [sw28742]
  • Scientists, engineers, and statisticians must execute domain-specific application programs many times on large collections ... file collections using a functional style that abstracts and simplifies distributed parallel execution...
  • DSLit

  • Referenced in 1 article [sw19038]
  • Domain-specific languages (DSLs) can be developed as an alternative method for code abstraction...
  • LoPSiL

  • Referenced in 4 articles [sw02068]
  • Policy- specification languages like LoPSiL are domain-specific programming languages intended to simplify the tasks ... first imperative policy-specification language to provide abstractions specifically tailored to location-dependent policies...
  • Frag

  • Referenced in 2 articles [sw31849]
  • UML2 meta-model). Building Domain-Specific Languages (DSLs): Frag provides features to easily tailor ... Frag - to define a DSL’s abstract syntax. Supporting Model-driven Development (MDD): Frag...
  • Nettle

  • Referenced in 1 article [sw25231]
  • control. Specifically, we have designed a domain-specific language called Nettle, embedded in Haskell, that ... such has both continuous and discrete abstractions, each of which is leveraged in the design...
  • Vispark

  • Referenced in 2 articles [sw17471]
  • cluster system. Vispark introduces a programming abstraction for accessing neighbor data in the mapper function ... distributed systems. Vispark also provides domain-specific functions and language supports specifically designed for high...
  • NetSketch

  • Referenced in 2 articles [sw20006]
  • framework. NetSketch is a tool for the specification of constrained-flow applications and the certification ... modeling tool, it enables the abstraction of an existing system while retaining sufficient information about ... based on a strongly-typed Domain-Specific Language (DSL) for describing and reasoning about constrained...
  • Simpl

  • Referenced in 2 articles [sw18873]
  • toolkit for domain-specific language development in enterprise information systems. Domain specific languages (DSLs ... languages designed with the specific purpose of developing or configuring part of a software system ... those of the system’s application domain. Documented benefits of DSLs include increased development productivity ... parser and the data types for representing abstract syntax trees; support for lexer states that...
  • JavaCOP

  • Referenced in 1 article [sw30241]
  • constraints are defined over a program’s abstract syntax tree. The JavaCOP compiler automatically enforces ... type system for nonnull references, to domain-specific ones, such as a checker for conformance...