Static Analysis of Multiparadigm Languages

Update item information
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
Date Created 2016-05-26
Date Modified 2016-05-31
ID 103568
Reference URL https://collections.lib.utah.edu/ark:/87278/s6cg1rbq
Back to Search Results