Implementation of first class functions and type checking for a multiparadigm language

Graduate Project

Public Deposited

Citeable URL: https://ir.library.oregonstate.edu/concern/graduate_projects/vd66w7576

Descriptions

Attribute Name	Values
Creator	Cherian, Vinoo
Abstract	A multiparadigm language is one which combines features of different language paradigms. Leda is a strongly typed, compiled, multi.paradigm language with facilities for imperative, functional, object oriented and relational programming. This report describes the type checker of the Leda compiler and the implementation of first class functions required for functional programming. Closure analysis is done to determine if a function can outlive its defining context. If the defining context is not on the activation stack at the time of the function invocation, the context is allocated on the heap. Type checking rules for Leda are presented. These rules illustrate the interaction between the different paradigms. The report also describes the development of the Leda compiler using an object oriented paradigm.
Resource Type	Capstone Project
Date Issued	1991-05-23
Degree Level	Master's
Degree Name	Master of Science (M.S.)
Degree Field	Computer Science
Degree Grantor	Oregon State University
Commencement Year	1991
Advisor	Budd, Timothy A.
Academic Affiliation	Computer Science
Rights Statement	In Copyright
Publisher	Oregon State University
Peer Reviewed	No
Language	English [eng]

Thumbnail	Title	Date Uploaded	Visibility	Actions
	Cherian_Vinoo_1991_05_23.pdf	2023-01-03	Public	Download