Search for dissertations about: "Walid Taha"
Showing result 1 - 5 of 7 swedish dissertations containing the words Walid Taha.
-
1. Multi-Stage Programming : Its Theory and Applications
Abstract : MetaML is a statically typed functional programming language with special support for programgeneration. In addition to providing the standard features of contemporary programminglanguages such as Standard ML, MetaML provides three staging annotations. These staging annotationsallow the construction, combination, and execution of object-programs. READ MORE
-
2. Meta-Languages and Semantics for Equation-Based Modeling and Simulation
Abstract : Performing computational experiments on mathematical models instead of building and testing physical prototypes can drastically reduce the develop cost for complex systems such as automobiles, aircraft, and powerplants. In the past three decades, a new category of equation-based modeling languages has appeared that is based on acausal and object-oriented modeling principles, enabling good reuse of models. READ MORE
-
3. Rigorous Simulation : Its Theory and Applications
Abstract : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. READ MORE
-
4. Time- and size-efficient supercompilation
Abstract : Intermediate structures such as lists and higher-order functions are very common in most styles of functional programming. While allowing the programmer to write clear and concise programs, the creation and destruction of these structures impose a run time overhead which is not negligible. READ MORE
-
5. Pre-deployment Analysis of Smart Contracts
Abstract : Smart contracts are programs that reside and execute on top of blockchains. These programs commonly perform financial transactions and contain the backend logic of several blockchain-supported applications. The presence of errors and bugs in smart contracts poses security threats to the applications they support. READ MORE