-
LISP
- Referenced in 127 articles
[sw07201]
- Processing”. Linked lists are one of Lisp language’s major data structures, and Lisp source ... create new syntax or even new domain-specific languages embedded in Lisp. The interchangeability...
-
UFL
- Referenced in 63 articles
[sw11183]
- Unified form language: a domain-specific language for weak formulations of partial differential equations ... Form Language (UFL), which is a domain-specific language for representing weak formulations of partial...
-
CVXPY
- Referenced in 71 articles
[sw13968]
- Convex Optimization. CVXPY is a domain-specific language for convex optimization embedded in Python...
-
LIQUi
- Referenced in 15 articles
[sw26288]
- LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing. Languages, compilers ... quantum architecture. LIQUi|> contains an embedded, domain-specific language designed for programming quantum algorithms, with...
-
TASTY
- Referenced in 19 articles
[sw09865]
- performed on encrypted data in a domain-specific language. This is automatically transformed into...
-
LibBi
- Referenced in 15 articles
[sw19384]
- such devices. The software parses a domain-specific language for model specification, then optimises, generates...
-
PyOP2
- Referenced in 14 articles
[sw14924]
- mesh. PyOP2 is a domain-specific language (DSL) for the parallel executions of computational kernels...
-
Bogor
- Referenced in 36 articles
[sw06858]
- which systems are developed suggest that domain-specific model checking engines may be more effective ... customizing its modeling language and algorithms to create domain-specific model checking engines...
-
Xtext
- Referenced in 9 articles
[sw16255]
- development of programming languages and domain-specific languages. With Xtext you define your language using...
-
Spoofax
- Referenced in 10 articles
[sw16988]
- rules for declarative specification of languages and IDEs. Spoofax is a language workbench ... efficient, agile development of textual domain-specific languages with state-of-the-art IDE support...
-
Polyglot
- Referenced in 10 articles
[sw08834]
- Polyglot framework is useful for domain-specific languages, exploration of language design, and for simplified...
-
ProjectQ
- Referenced in 10 articles
[sw21653]
- estimation. We introduce our Python-embedded domain-specific language, present the features, and provide example...
-
clpfd
- Referenced in 9 articles
[sw06308]
- integers, always terminating propagation, and a domain-specific language that concisely expresses the full semantics...
-
Hume
- Referenced in 5 articles
[sw22188]
- Hume: a Domain-Specific Language for Real-Time Embedded Systems. This paper describes Hume ... novel domain-specific language whose purpose is to explore the expressibility/costability spectrum in resource-constrained ... exception handling, automatic memory management and domain-specific metaprogramming features, whilst seeking to guarantee strong...
-
Yampa
- Referenced in 10 articles
[sw13681]
- Yampa is a domain-specific embedded language for the programming of hybrid (discrete and continuous...
-
PADS
- Referenced in 6 articles
[sw30121]
- PADS: a domain-specific language for processing ad hoc data. PADS is a declarative data...
-
FAMILIAR
- Referenced in 4 articles
[sw31669]
- FAMILIAR: A domain-specific language for large scale management of feature models. The feature model ... this article, we present FAMILIAR a Domain-Specific Language (DSL) that is dedicated...
-
FlashMeta
- Referenced in 5 articles
[sw29484]
- operators in the underlying domain-specific language (DSL). The meta-algorithm propagates example-based constraints ... program synthesis methodology called data-driven domain-specific deduction (D4), where domain-specific insight, provided...
-
Liszt
- Referenced in 5 articles
[sw20275]
- Liszt: a domain specific language for building portable mesh-based PDE solvers. Heterogeneous computers with ... portability feasible. We present Liszt, a domain-specific language for constructing mesh-based PDE solvers...
-
QCQP
- Referenced in 5 articles
[sw27001]
- built on top of CVXPY, a domain-specific language for convex optimization embedded in Python...