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 | Page 2 | ||||
3 | Page 144 | ||||
4 | Page 94 | ||||
5 | Page 4 | ||||
6 | Page 15 | ||||
7 | Page 5 | ||||
8 | Page 124 | ||||
9 | Page 26 | ||||
10 | Page 12 | ||||
11 | Page 145 | ||||
12 | Page 1 | ||||
13 | Page 3 | ||||
14 | 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 | ||
15 | Page 5 | ||||
16 | Page 57 | ||||
17 | Page 10 | ||||
18 | 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 | ||
19 | Page 11 | ||||
20 | Page 127 | ||||
21 | Page 31 | ||||
22 | Page 39 | ||||
23 | Page 94 | ||||
24 | Page 25 | ||||
25 | Page 54 |