Technical reports, manuscripts and photographs document the early history of the University of Utah Computer Science Department.
TO
Filters: Type: "Text" Collection: ir_computersa
1 - 25 of 3
| 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 |
| 2 |
 |
CAD based biomedical modeling and visualization | A framework for the representation, modeling, visualization and static analysis of natural systems has been developed. This framework provides the following aspects of a system: geometry, function, simulation, and graphic visualization. This approach shows how it is possible to explore higher level ... | 1992-08 | |
| 3 |
 |
HOP: (Hardware Viewed as Objects and Processes). A Process Model for Synchronous Hardware Systems | A new Hardware Specification Language (HSL) called HOP is presented. HOP stands for Hardware viewed as Objects and Processes. It can be used for specifying the structure, behavior, and timing of digital systems. HOP was designed for several reasons. It integrates well-tested ideas from past work tha... | 1988 |
1 - 25 of 3