| Publication Type |
technical report |
| School or College |
College of Engineering |
| Department |
Computing, School of |
| Creator |
Yeh, Dowming |
| Title |
Static Analysis of Multiparadigm Languages |
| Date |
1990 |
| Description |
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, type inference, and mode analysis in a unified framework. Underlying the analysis in a unified framework. Underlying the analysis are various abstract domains and corresponding abstract semantics. The final semantic domain combines four notions: strictness subsets of operator occurrences, demand indicators, type indicators and instantiation indicator. The static analysis is defined by a set of abstract semantic functions expressing demand propagation, type and mode information through syntactic constructs of the interested language. Because of the formal semantics, the abstract properties of a program and the method itself may be reasoned formally. Under this semantics, all program expressions are given nontrivial annotation, it reflects that the expression is necessarily subject to evaluation corresponding to the indicated demand, and is expected to have the indicated type and instantiation mode. We start with a simple first-order language, and extend it with polymorphism, higherorder functions, and logical variables incrementally. The abstract domains and semantics are then modified correspondingly to reflect extensions of language paradigms. All the analysis methods are implemented. We also establish the relations between demands in our analysis and projections in context analysis and show that demands convey contextual strictness information through projections. |
| Type |
Text |
| Subject |
multiparadigm; declarative language; language paradigm |
| Subject LCSH |
Programming languages (Electronic computers) |
| Language |
eng |
| Bibliographic Citation |
Yeh, D. (1990). Static Analysis of Multiparadigm Languages. |
| Series |
University of Utah Computer Science Technical Report |
| Relation is Part of |
ARPANET |
| Format Medium |
application/pdf |
| Format Extent |
60,303,589 bytes |
| File Name |
Yeh-Static_Analysis.pdf |
| Conversion Specifications |
Original scanned with Kirtas 2400 and saved as 400 ppi uncompressed TIFF. PDF generated by Adobe Acrobat Pro X for CONTENTdm display |
| ARK |
ark:/87278/s6cg1rbq |
| Setname |
ir_computersa |
| ID |
103568 |
| Reference URL |
https://collections.lib.utah.edu/ark:/87278/s6cg1rbq |
