• TTC

  • Referenced in 6 articles [sw15828]
  • Tensor Transposition Compiler for Multiple Architectures. We consider the problem of transposing tensors of arbitrary ... describe TTC, an open source domain-specific parallel compiler. TTC generates optimized parallel C++/CUDA ... compilers; the results suggest that a domain-specific compiler can outperform its general purpose counterpart...
  • LISP

  • Referenced in 126 articles [sw07201]
  • order functions, recursion, and the self-hosting compiler.[2] The name LISP derives from ”LISt ... create new syntax or even new domain-specific languages embedded in Lisp. The interchangeability...
  • LIQUi

  • Referenced in 13 articles [sw26288]
  • Design Architecture and Domain-Specific Language for Quantum Computing. Languages, compilers, and computer-aided design ... specific quantum architecture. LIQUi|> contains an embedded, domain-specific language designed for programming quantum algorithms...
  • BER MetaOCaml

  • Referenced in 3 articles [sw09552]
  • values. It has been used for compiling domain-specific languages and automating tedious and error ... statically ensuring that the generated code compiles and letting us quickly run it, MetaOCaml makes...
  • HPTT

  • Referenced in 3 articles [sw19659]
  • Library. Recently we presented TTC, a domain-specific compiler for tensor transpositions. Despite the fact...
  • LibBi

  • Referenced in 12 articles [sw19384]
  • parses a domain-specific language for model specification, then optimises, generates, compiles and runs code...
  • XLA

  • Referenced in 2 articles [sw22106]
  • Accelerated Linear Algebra) is a domain-specific compiler for linear algebra that optimizes TensorFlow computations...
  • TASTY

  • Referenced in 17 articles [sw09865]
  • generate secure computation protocols from high-level specifications, but are often limited in their ... party computation protocols. TASTY is a new compiler that can generate protocols based on homomorphic ... performed on encrypted data in a domain-specific language. This is automatically transformed into ... circuits generated by the well-known Fairplay compiler. We use TASTY to compare protocols...
  • Xtext

  • Referenced in 10 articles [sw16255]
  • development of programming languages and domain-specific languages. With Xtext you define your language using ... full infrastructure, including parser, linker, typechecker, compiler as well as editing support for Eclipse, IntelliJ...
  • Polyglot

  • Referenced in 10 articles [sw08834]
  • framework that supports the easy creation of compilers for languages similar to Java, while avoiding ... Polyglot framework is useful for domain-specific languages, exploration of language design, and for simplified...
  • FORMULA 2.0

  • Referenced in 2 articles [sw13248]
  • succinct specifications of domain-specific abstractions and compilers, (2) efficient reasoning and compilation of input...
  • smgn

  • Referenced in 1 article [sw01452]
  • smgn: Rapid prototyping of small domain-specific languages. This paper presents smgn, a grammar-based ... easily navigated and manipulated with a specific macro language while conveniently generating textual output. smgn ... small domain-specific languages. It is part of the SUIF compiler system, where ... used for the development of the Hoof domain-specific language. Furthermore, smgn was employed successfully...
  • ProjectQ

  • Referenced in 7 articles [sw21653]
  • estimation. We introduce our Python-embedded domain-specific language, present the features, and provide example ... quantum hardware, and scientists working on quantum compilation can provide plug-ins for additional compilation...
  • Plastic

  • Referenced in 18 articles [sw07403]
  • platform for implementing domain-specific reasoning tools. Plastic is implemented in the higher-order ... with similar systems written in strict languages (compiled with...
  • KelpIO

  • Referenced in 1 article [sw00485]
  • compilation process, high-level performance enhancing transformations to applications using a high-level domain-specific ... optimization by advanced compilers, effectively making it a domain-specific language extension...
  • OptiX

  • Referenced in 2 articles [sw23989]
  • OptiX is a domain-specific just-in-time compiler that generates custom ray tracing kernels...
  • MISPC

  • Referenced in 0 articles [sw18403]
  • Domain-specific language MISPC and implementation technique of compiling framework. Based on the extension ... language, we defined a new domain-specific programming language MISPC, which described the characteristics ... results indicate that the domain-specific language and its compiling framework significantly improve development efficiency ... language and constructing the compiling framework, we provide domain-specific programming framework of system solution...
  • Groovy

  • Referenced in 2 articles [sw26072]
  • dynamic language, with static-typing and static compilation capabilities, for the Java platform aimed ... features, including scripting capabilities, Domain-Specific Language authoring, runtime and compile-time meta-programming...
  • LMS

  • Referenced in 4 articles [sw19986]
  • compiler framework available at the library level, allowing programmers to tightly integrate domain-specific abstractions...
  • HERMIT

  • Referenced in 3 articles [sw09886]
  • Compiler. HERMIT provides several mechanisms to support writing general-purpose transformations: a domain-specific language ... specialized to include in a general-purpose compiler, or because the developers’ interest...