1 - 25 of 35
Number of results to display per page
TitleDescriptionSubjectDate
1 Static Analysis of Multiparadigm LanguagesWe 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 paradigm1990
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 1
11 Page 3
12 Page 145
13 Page 12
14 CAD based biomedical modeling and visualizationA 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 57
16 Page 5
17 Page 10
18 Page 54
19 Page 31
20 Page 94
21 Page 127
22 Page 11
23 HOP: (Hardware Viewed as Objects and Processes). A Process Model for Synchronous Hardware SystemsA 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
24 Page 25
25 Page 39
1 - 25 of 35