Back to Results
First PageMeta Content
Computing / Programming language theory / Object-oriented programming / Polymorphism / Subtype polymorphism / Entailment / Type system / E / Constraint / Type theory / Software engineering / Data types


Algorithms for and the Complexity of Constraint Entailment by Zhendong Patrick Su B.A. (University of Texas at Austin[removed]B.S. (University of Texas at Austin) 1995
Add to Reading List

Document Date: 2002-12-10 17:31:00

Open Document

File Size: 554,79 KB

Share Result on Facebook

Facility

University of Texas / UNIVERSITY of CALIFORNIA / University of California at Berkeley / Computer Science University of California / /

IndustryTerm

type systems / conditional unification algorithm / /

Organization

University of California / University of Texas at Austin / Professor Alexander S. Aiken Dissertation Committee / BERKELEY Committee / GRADUATE DIVISION / /

Person

Dorit S. Hochbaum / Yiqing / George C. Necula Professor Dorit / Patrick Su / Alexander S. Aiken / Amanda ii / Dorit S. Hochbaum Fall / /

Position

Chair / Professor / /

ProvinceOrState

Texas / California / /

Technology

94 Algorithm / 1 Abstract Algorithms / conditional unification algorithm / 2002 Algorithms / 2.3 Algorithms / 81 Algorithm / /

SocialTag