Accession Number : ADA296537

Title :   A Modal Analysis of Staged Computation,

Corporate Author : CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE

Personal Author(s) : Davies, Rowan ; Pfenning, Frank

PDF Url : ADA296537

Report Date : MAY 1995

Pagination or Media Count : 24

Abstract : We show that a type system based on the intuitionistic modal logic S4 provides an expressive framework for specifying and analyzing computation stages in the context of functional languages. Our main technical result is a conservative embedding of Nielson & Nielson's two-level functional language in our language Mini-ML, which in addition to partial evaluation also supports multiple computation stages, sharing of code across multiple stages, and run-time code generation. (AN)

Descriptors :   *HIGH LEVEL LANGUAGES, ALGORITHMS, OPTIMIZATION, COMPUTATIONS, COMPUTER LOGIC, COMPUTER PROGRAMMING, SEMANTICS, EMBEDDING, COMPILERS, SYNTAX, FIELDS(COMPUTER PROGRAMS), EXECUTIVE ROUTINES.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE