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 14 of 14 for “"Metaprogramming"”.
-
Meta-metaprogramming
… construction, which I collectively dub "meta-metaprogramming." In this thesis, I present three new meta-metaprogramming techniques reducing the work needed to build programming tools, each applicable to the specific problem of sharing implementation code between similar tools for different …
-
Composable inference metaprogramming using subproblems
Inference metaprogramming enables effective probabilistic programming by supporting the decomposition of executions of probabilistic programs into subproblems and the deployment of hybrid probabilistic inference algorithms that apply different base probabilistic inference algorithms to different …
-
Galactic : an Ur/Web course management system
… program correctness and provides powerful metaprogramming capabilities. This thesis describes techniques that allow construction of modular applications where the individual modules can be specified simply, using metaprogramming and module functors to generate the actual code from a few …
-
A Code Structure Visualization Tool for Groovy
… into that structure. Furthermore, features like metaprogramming can help to easily decipher the structural information. That makes Groovy a natural choice for creating such a tool on the Java Virtual Machine (JVM). The visualization tool we developed as a part of this thesis shows the …
-
Continuation Stealing in Julia
… stealing in Julia using two different metaprogramming approaches. One approach uses Julia’s macro system, while the other uses the Julia compiler’s internal representation (IR) of functions. My results show that the IR-based approach uses less memory than the child stealing …
-
Razvoj softvera zasnovan na modelu slučajeva korišćenja i MDD pristupu
… MPS alata za metaprogramiranje (JetBrains MPS metaprogramming system). UCDSL jezik je integrisan u okviru SILAB-MDDTOOLSET alata koji se može koristiti kao dodatak (plugin) za okruženja kao što su MPS i IntelliJ IDEA...
-
Higher-Order Automatic Differentiation and Its Applications
… science, i.e., aggressive type specializing, metaprogramming, and symbolic computing, we introduce a new implementation of Taylor mode automatic differentiation in Julia that addresses these problems. The new implementation shows that it is possible to achieve higher-order AD with minimal …
-
STATIC ENFORCEMENT OF TERMINATION-SENSITIVE NONINTERFERENCE USING THE C++ TEMPLATE TYPE SYSTEM
… Covert C++, a library which uses template metaprogramming to superimpose a security-type system on top of C++’s existing type system. Covert C++ enforces an information-flow policy that prevents secret data from influencing program control flow and memory access patterns, thus obviating …
-
A Tool for Producing Verified, Explainable Proofs
… Chapter 5. The ProofWidgets system uses Lean's metaprogramming framework to allow users to write their own interactive, web-based user interfaces to display within the VSCode editor and in an online web-editor. The entire tactic state is available to the rendering engine, and hence expression …
-
Introspective C++
Introspection has become a significant language feature to enable new component technologies. It enables such capabilities as runtime component discovery, new levels of component flexibility and change tolerance, dynamic reconfiguration and system self healing. Three levels of introspection are …
-
High-performance parallel programming framework using template-based static optimization
How to program a parallel machine has always been a major research problem. Many tools, languages and libraries are developed in order to make parallel programming more accessible for most users. However, no matter what approach is taken to program a parallel machine, there is always a trade-off …
-
XC. Un lenguaje orientado a componentes para programación de sistemas
… and orthogonal extensions allow simpler metaprogramming techniques. The language has strong type checking, covariant types, generic types and an expressive syntax. It also includes features like primitive type optimizations, in-line functions, native functions and objects, safe and unsafe …
-
Design and Development of an Electronic Performance Enhancement Tool for Creating and Maintaining Information Management Web Sites
This study explored the design and development of an electronic performance enhancement tool that can assist a person with limited programming skills to create a variety of simple customized information management websites. In particular, this study was modeled after needs within an Instruction …
-
Spacetime meshing of stratified spaces for spacetime discontinuous Galerkin methods in arbitrary spatial dimensions
We introduce the spacetime discontinuous Galerkin method and motivate the need for supporting spacetime meshing on meshes comprised of multiple manifolds. We first discuss preliminary concepts behind simplices, simplicial complexes, and the generalization to oriented simplicies. Using these ideas, …