Static inference in applicative languages

Update Item Information
Publication Type technical report
School or College College of Engineering
Department Computing, School of
Creator Mishra, Prateek
Title Static inference in applicative languages
Date 1985-03
Description Static inference involves the compile-time analysis of programs, either with a view to optimizing program execution or ensuring that errors do not arise during program execution (e.g., type checking). We present a general framework for static inference of first-order applicative programs as well as several important instances of practical inference schemes.; This dissertation is in three parts: * We extend the techniques of Abstract Interpretation to applicative programs defined on nonflat domains. A semantic characterization of an "acceptable" abstract interpretation is developed. Two practical inference problems, that of minor signature and relevant clause inference, are solved within this framework.; We develop a type inference system for applicative programs that carries out type inference in the complete absence of any declarative information. A calculus of types called regular trees forms the basis of the type inference system. We relate the regular tree based type of a function to a canonical type extracted from the function; denotation.; We describe an implementation of strongly typed super-set of FEL, which incorporates a regular tree based type-checker, thereby demonstrating the practical utility of the type system.
Type Text
Subject programming languages; computer science; static inference; applicative languages
Language eng
Bibliographic Citation Mishra, P. (1985). Static inference in applicative languages.
Series University of Utah Computer Science Technical Report
Relation is Part of ARPANET
Format Medium application/pdf
Format Extent 52,032,625 bytes
File Name Mishra-Static_Inference.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/s66t2nzt
Setname ir_computersa
ID 102129
Reference URL https://collections.lib.utah.edu/ark:/87278/s66t2nzt