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 43 for “"Functional Programming"”.
-
Functional programming and graph algorithms
… of graph algorithms in the non-strict purely functional language Haskell. Emphasis is placed on the importance of achieving an asymptotic complexity as good as with conventional languages. This is achieved by using the monadic model for including actions on the state. Work on the monadic model …
-
Distributed functional programming in Scheme
… specified in advance. In order to provide this programming environment, we implemented a system of job execution servers which transparently execute arbitrary Scheme code written in a functional or mostly functional style. The use of a functional, side effect free style of programming simplifies …
-
Program verification in functional programming systems
Functional programming systems provide a number of features which facilitate program verification. Such verification may be observed to rest directly upon the theoretical foundations of computing and simultaneously to exhibit a close relation to the programs being verified. In order to demonstrate …
-
Functional programming abstractions for weakly consistent systems
… must tackle the full complexity of concurrent programming for an asynchronous distributed system. ^ This dissertation argues that functional programming language abstractions can simplify scalable concurrent programming for weakly consistent systems. Functional programming espouses …
-
Generating threads for non-strict functional programming languages
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science; and, Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.
-
Functional Programming and Metamodeling frameworks for System Design
… First, their dependence on specific programming language artifacts (Java or C/C++) make them less amenable to formal analysis. Second, the refinement strategies proposed in the design flows based on these languages lack formal semantics underpinnings making it difficult to prove that …
-
BACH2 orchestrates thymic T cell differentiation and functional programming
The thymus is a highly specialised organ required for T cell development and establishing immunological tolerance. It is tasked with maximising the number of foreign antigens which can be recognised by the T cell receptor (TCR) repertoire in order to protect from infection. Simultaneously, the …
-
minRx - a minimal implementation of Reactive Extentions in C#
… of Microsoft Reactive Extensions library using functional programming methods in C#. The base for this project is another project called minLINQ created by Reactive Extensions developer Bart De Smet. minLINQ provided a way to use functional methods to query interactive lists (Enumerables). minRx …
-
Composing graphical user interfaces in a purely functional language
… control towards the user places heavy burden on programming systems, a burden that many systems don't support too well. Why? Because the application now has to be structured so that it is responsive to whatever action the user may perform at any time. The main contribution of this thesis is to …
-
A functional approach to graphics programming and modeling
… two broad aims: to explore the suitability of functional programming for graphics and to test the usability of the functional I/O models that have evolved recently.
-
Proofs and computations in conditional equational theories
… paradigm that cleanly combines logic and functional programming. In this thesis, we study how to do proofs and computations in conditional equational theories, using rewriting techniques.
-
Functional Reactive Programming For Games
We investigate the effectiveness of functional reactive programming for games. To accomplish this, we clone aa, an existing game, in Elm, a purely functional programming language. We find that functional reactive programming offers an excellent alternative to event driven programming in purely …
-
Implementation of functional languages with state
Imperative and functional programming are two styles which have long been viewed as incompatible. In particular, the functional property of referential transparency could not be maintained in the face of destructive update, as found in assignment statements. Recent work, however, has suggested that …
-
Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine
The Scala programming language successfully blends object-oriented and functional programming. The current implementation of Scala is tied to the Java Virtual Machine (JVM) which constrains the implementation and deployment targets. This thesis describes the implementation of a new backend for the …
-
An extended spreadsheet paradigm for data visualisation systems, and its implementation
… of values in each spreadsheet cell; we use the functional programming language Scheme as the formula language and we make use of lazy evaluation. The novel combination of these techniques makes our system consistently declarative in nature, and gives it several advantages such as small, …
-
Type system for resource bounds with type-preserving compilation
… techniques, which focus mostly on functional correctness; but it is important because when resource usage exceeds the programmer's expectation by a large amount, user experience can be disrupted and large fees (such as cloud-service fees) can be charged. I designed TiML, a new typed …
-
Making discrete decisions based on continuous values
… connected input spaces such as R. We propose a programming language based on constructive topology, whose types are spaces and programs are executable continuous maps, that facilitates making formal guarantees of accuracy of computed results. We demonstrate that discrete decisions can be made …
-
Implementation of a cross-platform automated Bayesian data modeling system
… of the CrossCat model class in the functional programming language Clojure. This implementation, called ClojureCat, was designed to be part of a probabilistic programming platform and implemented to be able to cross-compile into JavaScript, allowing complex inference procedures to be …
Page 1 of 3