Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 34 for “"domain-specific languages"”.
-
Learning symbolic concepts and domain-specific languages
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms
-
Codon: A Framework for Pythonic Domain-Specific Languages
Static languages like C++ provide deep compiler support for optimization and analysis, enabling high performance at the cost of burdening users with a low-level interface. DSLs, or domain-specific languages, have traditionally complemented static languages by adding custom idioms and optimizations …
-
Scenario-Based Development and Verification of Domain-Specific Languages
<p>The use of domain-specific languages (DSLs) has increased manifold for problem solving in specific domain areas as they allow for a wider variety of expressions within their domain. Modeling using DSLs has shown high increases in productivity after accounting for the time and cost expended in …
-
Linear/non-Linear Types For Embedded Domain-Specific Languages
Domain-specific languages are often embedded inside of general-purpose host languages so that the embedded language can take advantage of host-language data structures, libraries, and tools. However, when the domain-specific language uses linear types, existing techniques for embedded languages …
-
Energy and Performance Models Enabling Design Space Exploration using Domain Specific Languages
… and machine abstractions using Aspen (a domain specific language) to implement and evaluate our modeling techniques. As part of our research we develop and evaluate system-level performance and energy-consumption models that form part of an automated modeling framework, which analyzes …
-
Framework for Composition of Domain Specific Languages and the Effect of Composition on Re-use of Translation Rules
DSLs are programming languages that have been designed to be used to solve problems in a specific domain. They provide constructs that are high-level and domain-specific to make it easier to implement solutions in the given domain. They frequently also limit the language to the domain, avoiding …
-
StreamJIT : a commensal compiler for high-performance stream programming
There are domain-specific libraries for many domains, enabling rapid and cost-effective development of complex applications. On the other hand, domain-specific languages are rare despite the performance advantages of compilation. We believe the reason is the multiple orders-of-magnitude higher cost …
-
Designing precise and flexible graphical modelling languages for software development
… of precise and flexible graphical modelling languages for use in model-driven software development. The primary contributions of this work are: • Syntropy: the first published object-oriented analysis and design (OOAD) method to fully integrate formal and graphical modelling techniques. • The …
-
Mapping Genotype to Phenotype using Attribute Grammar
… biology research groups have proposed tools and domain-specific languages to help with the design of artificial DNA molecules. Community standards for exchanging data between these tools, such as the Synthetic Biology Open Language (SBOL), have been developed. It is increasingly important to be …
-
Compilation using correct-by-construction program synthesis
… approach to extracting and compiling embedded domain-specific languages developed in a proof assistant (Coq), showing how it allows us to extend correctness guarantees all the way down to a verification-aware assembly language. Our core idea is to phrase compilation of shallowly embedded …
-
HybridMDSD: Multi-Domain Engineering with Model-Driven Software Development using Ontological Foundations
… Development (MDSD) facilitates the abstract specification of software based on modeling languages. Corresponding models are used to generate actual programming code without the need for creating manually written, error-prone assets. Modeling languages that are tailored towards a particular …
-
ProgGen: Automatic Dataset Generation for the Halide Domain Specific Language
… techniques. Compilers for general-purpose languages rely on large real-world program datasets to train their cost models. However, cost models for domain-specific languages often have to use program generators due to a lack of large datasets of real-world programs. Program dataset …
-
Automatic Conversion of C and C++ Programs to the BuildIt Multi-Stage Programming Framework
… writing specialized code and generating code for domain-specific languages. While there are other approaches to multi-stage programming, BuildIt has several advantages: it takes a library-based approach (so it requires no modifications to the compiler and is thus highly portable), and it has …
-
RAS++: representing hybrid reuse assets for MDE as a service
… Engineering (MDE) such as model transformations, Domain Specific Languages (DSL), and modeling or refinement tools have been proposed in the literature as a mean to increase the quality in products derived from activities of Software Engineering. These artifacts are introduced in technical-level …
-
Correct Programs, Executed Correctly: Verifying Specifications And Executions
… understudied. This dissertation presents new languages, proof systems, and techniques targeting the verifica-tion of programs and their executions. Domain-specific languages (DSLs) are key in this effort. By restricting program syntax to a mathematically well-understood subset, we prove …
-
Declarative Design for Spatial Analysis Models
… complex spatial challenges across diverse domains, including urban planning, environmental conservation, and climate change. However, the technical expertise required to use GIS effectively, particularly proficiency in general-purpose programming languages (GPLs), remains a significant …
-
Languages and Compilers for Rendering and Image Processing
… describes the design and implementation of domain specific languages with particular trade-off decisions in mind and the application of machine learning to these languages and their compilers. Rendering systems suffer from a tension between separation of concerns and performance. Existing …
-
Categories in control systems software: toward a unified theory of programming & control
… in any language expressive enough to embed domain specific languages for event stream processing with sufficient structure. The design is derived in a category, Cpp, of a subset of C++ programs where types are modelled as sets and programs/routines are modelled as functions. This gives a …
-
Abstraction Driven Application and Data Portability in Cloud Computing
… development of cloud applications using abstract specifications. Given the domain specific nature of many cloud workloads, we focused on using Domain Specific Languages (DSLs). We applied DSL based development techniques to two domains with different characteristics and learnt that abstract driven …
-
Program Synthesis over Noisy Data
… synthesis problems in the text manipulation domain, including results that characterize optimality and convergence properties of noise sources and loss functions used in experiments with the implemented synthesis algorithm. These results provide insight into the reasons for the success of the …
Page 1 of 2