Parallel virtual machine for functional logic programming

Functional logic programming is a multi-paradigm programming that combines the best features of functional programming and logic programming. Functional programming provides mechanisms for demand-driven evaluation, higher order functions, and polymorphic typing. Logic programming deals with non-dete...

Full description

Saved in:

Bibliographic Details
Main Author:	Alqaddoumi, Abdulla
Format:	Dissertation
Language:	English
Subjects:	computer science
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	Functional logic programming is a multi-paradigm programming that combines the best features of functional programming and logic programming. Functional programming provides mechanisms for demand-driven evaluation, higher order functions, and polymorphic typing. Logic programming deals with non-determinism, partial information, and constraints. Both programming paradigms fall under the umbrella of declarative programming. In this dissertation, we discuss the design and implementation of a functional logic virtual machine. We discuss functional logic programming, its syntax, semantics, and the different computation strategies. The virtual machine is capable to tackle non-determinism using the sound and complete bubbling transformation. The virtual machine benefits from well established automatic parallelism and its types in declarative programming. Keywords Declarative Programming, Functional Logic Programming, Term Rewriting Systems, Virtual Machine, Automatic Parallelism, Bubbling.
Bibliography:	Adviser: Enrico Pontelli. Source: Dissertation Abstracts International, Volume: 77-11(E), Section: B.
ISBN:	9781339970981 1339970988