Multiparadigm programming: Novel devices for implementing functional and logic programming constructs in C Report as inadecuate


Multiparadigm programming: Novel devices for implementing functional and logic programming constructs in C


Multiparadigm programming: Novel devices for implementing functional and logic programming constructs in C - Download this document for free, or read online. Document in PDF available to download.

Constructs for functional and logic programming can be smoothly integrated into an existing object-oriented language. We demonstrate this in the context of C++ a statically-typed object-oriented language with effects and parametric polymorphism via two libraries: FC++ and LC++. FC++ is a library for functional programming in C++; FC++ supports higher-order polymorphic functions, lazy lists, and a small lambda language; it also contains a large library of useful functions, datatypes, combinators, and monads. LC++ is a library for logic programming in C++; LC++ provides the same general functionality as Prolog, including the ability to return query results lazily one at a time. Bothlibraries are embedded in C++ so that they share C++-s static type system, and the library interfaces provide straightforward ways forcode from within one paradigm to ``call out- to another.Our work describes the techniques used to implement these libraries in C++ and shows that the resulting multiparadigm language has usefulapplications in real-world domains. We also describe how many of the implementation techniques can be generalized from C++ and applied toother programming languages to yield similar results.



Georgia Tech Theses and Dissertations - College of Computing Theses and Dissertations -



Author: McNamara, Brian - -

Source: https://smartech.gatech.edu/







Related documents