Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
1 - 25 of 1
Number of results to display per page
| Title | Description | Subject | Date | ||
|---|---|---|---|---|---|
| 1 |  | Static Analysis of Multiparadigm Languages | We contribute to the state of the art in static analysis of declarative languages with multiparadigms. The language paradigms under consideration include normal order evaluation, higher-order functions, polymorphic typing, and logical variables. Our static analysis integrates strictness analysis, ty... | multiparadigm; declarative language; language paradigm | 1990 |
1 - 25 of 1