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