Page 137

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

Page Metadata

Title Page 137
Setname ir_computersa
ID 102111
Reference URL https://collections.lib.utah.edu/ark:/87278/s66t2nzt/102111