You've searched: Collection: ir_computersa
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 124
8 Page 5
9 Page 26
10 Page 1
11 Page 3
12 Page 12
13 Page 145
14 Page 57
15 Page 5
16 Page 10
17 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
18 Page 25
19 Page 39
20 Page 54
21 Page 31
22 Page 94
23 Page 127
24 Page 11
25 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
1 - 25 of 35