Back to Results
First PageMeta Content
Programming language theory / Data types / Object-oriented programming / Polymorphism / Alloy / Z notation / Type system / Subtype polymorphism / Daniel Jackson / Software engineering / Type theory / Computing


Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of
Add to Reading List

Document Date: 2014-08-13 19:26:58

Open Document

File Size: 222,37 KB

Share Result on Facebook

Facility

MASSACHUSETTS INSTITUTE OF TECHNOLOGY May / /

Organization

MASSACHUSETTS INSTITUTE OF TECHNOLOGY / Department of Electrical Engineering and Computer Science / Department Committee on Graduate Students / /

Person

Yogishwar Maharaj / Rishi Kumar / Daniel N. Jackson / Thesis Supervisor / Stephanie Wang / Greg Dennis / Arthur C. Smith / Philip Kong / Jonathan Edwards / Alma / Mandana Vaziri / Edina / Thesis Supervisor Accepted / /

Position

author / Supervisor / advisor / Chairman / Associate Professor / /

ProvinceOrState

Massachusetts / /

Technology

8 Type Resolution Algorithm / 9 Type Resolution Algorithm / 10 Normalization Algorithm / KEY TYPECHECKING ALGORITHMS / /

SocialTag