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 13 of 13 for “"Functional Languages"”.
-
Parallel programming using functional languages
It has been argued for many years that functional programs are well suited to parallel evaluation. This thesis investigates this claim from a programming perspective; that is, it investigates parallel programming using functional languages. The approach taken has been to determine the minimum …
-
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 …
-
Optimal interpreters for lambda-calculus based functional languages
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990.
-
The implementation of functional languages on an object-oriented architecture
… of different implementation strategies for functional languages on a novel platform, the Rekursiv, that provides hardware support for an object- oriented language (Lingo) which was used as the implementation language for this work.<br/><br/>The objective is to evaluate the performance of two …
-
On the termination of recursive algorithms in pure first-order functional languages with monomorphic inductive data types
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.
-
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 …
-
A modular programming language for engineering design
… computation called MDPL that generalizes other functional models like the lambda calculus and combinatory logic. This model leads naturally to a new type of programming language that combines the key strengths of imperative and functional languages for development and analysis of programs. These …
-
The Refinement of Formal Specifications Using Reusable Software Components in Ada95
… or prototype of the specification using functional languages or on converting the abstract structures found in specification into the less abstract structures found in high level programming languages, via a series of lengthy proofs.<br/><br/>The method presented in this thesis uses a …
-
SUDS : automatic parallelization for raw processors
… a technique traditionally used to compile functional languages. The scalar queue conversion compiler transformation is speculative, in the sense that it may introduce dynamic memory allocation operations into code that would not otherwise dynamically allocate memory. Thus, SUDS also …
-
Proving Cryptographic C Programs Secure with General-Purpose Verification Tools
… executable code, often written in lower level languages such as C, vulnerable both to logical errors, and low-level flaws. Recent work on verifying security properties of C code is often based on soundly extracting, from C programs, protocol models on which security properties can be proved. …
-
Programming and static analysis with graded monads
Programmers writing purely functional code have long represented impure, side-effecting computation using monads. Recent research in program semantics has focussed on graded monads, a useful generalisation of monads which allow the programmer to establish useful properties of a computation purely …
-
Diseño, semántica y especificación de Babel : un lenguaje que integra la programación funcional y lógica
… academic interest for declarative (that is, functional and logical) programming languages has greatly increased since VLSI technology has opened the realistic possibility to built parallel machines capable to execute declarative programs efficiently. Current progress in the improvement of the …
-
Functional Programming and Metamodeling frameworks for System Design
… MoCs. Although a number of system level design languages (SLDL)s and frameworks have proliferated over the last few years, most of them are lacking in multiple ways. Some of the SLDLs and system design frameworks we have worked with are SpecC, Ptolemy II, SystemC-H, etc. From our analysis of …