| 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 |
