Back to Results
First PageMeta Content
Computer programming / Constraint satisfaction problem / Constraint / Standard ML / Computing / Constraint programming / Mathematical optimization / Software engineering


Making Set-Constraint Program Analyses Scale Manuel Fahndrich Alexander Aiken EECS Department
Add to Reading List

Document Date: 2006-08-29 16:42:57

Open Document

File Size: 218,58 KB

Share Result on Facebook

City

Introduction Constraint / Portland / Copenhagen / /

Company

Cambridge University Press / MIT Press / Let Sa / Ia 2 Sa / /

Country

Denmark / /

/

Event

Reorganization / /

Facility

Alexander Aiken EECS Department University of California / /

IndustryTerm

resolution algorithms / large systems / systems / independent constraint systems / constraint systems / graph algorithms / resolution systems / /

Organization

Cambridge University / National Science Foundation / MIT / University of California / Berkeley / Alexander Aiken EECS Department University / /

Person

Robin Milner / Scott Smith / Mads Tofte / John Boyland / Valery Trifonov / Robert Harper / Alexander Aiken / Andrew Appel / /

ProgrammingLanguage

Standard ML / ML / /

ProvinceOrState

Oregon / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

graph algorithms / Functional Programming / caching / Constraint resolution algorithms / /

SocialTag