Award Date
1-1-1993
Degree Type
Thesis
Degree Name
Master of Science (MS)
Department
Computer Science
First Committee Member
Kazem Taghva
Number of Pages
67
Abstract
An algebra is presented which is used in conjunction with a modified version of director string calculus (MDSC). The algebra simplifies the implementation of the MDSC while preserving the applicative structure of the originalexpression, and capturing strong reduction.
Keywords
Calculus; Director; Reduction; String; Strong
Controlled Subject
Computer science; Mathematics
File Format
File Size
1802.24 KB
Degree Grantor
University of Nevada, Las Vegas
Language
English
Permissions
If you are the rightful copyright holder of this dissertation or thesis and wish to have the full text removed from Digital Scholarship@UNLV, please submit a request to digitalscholarship@unlv.edu and include clear identification of the work, preferably with URL.
Repository Citation
Kinkenon, Matthew Edward, "On strong reduction in director string calculus" (1993). UNLV Retrospective Theses & Dissertations. 294.
http://dx.doi.org/10.25669/srux-6x60
Rights
IN COPYRIGHT. For more information about this rights statement, please visit http://rightsstatements.org/vocab/InC/1.0/
COinS