A Modal Analysis of Staged Computation

A Modal Analysis of Staged Computation (1996)

by Rowan Davies , Frank Pfenning

Venue:	JOURNAL OF THE ACM
Citations:	165 - 21 self

Datum	Value	Source
TITLE	A modal analysis of staged computation	INFERENCE
AUTHOR NAME	Rowan Davies	SVM HeaderParse 0.1
AUTHOR AFFIL	School of Computer Science; Carnegie Mellon University	SVM HeaderParse 0.2
AUTHOR ADDR	Pittsburgh, PA 15213	SVM HeaderParse 0.1
AUTHOR NAME	Frank Pfenning	SVM HeaderParse 0.1
AUTHOR AFFIL	School of Computer Science; Carnegie Mellon University	SVM HeaderParse 0.2
AUTHOR ADDR	Pittsburgh, PA 15213	SVM HeaderParse 0.1
ABSTRACT	Also published as FOX Memorandum CMU-CS-FOX-95-02 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 2, which in addition to partial evaluation also supports multiple	SVM HeaderParse 0.1
YEAR	1996	INFERENCE
VENUE	In 23rd Annual ACM Symposium on Principles of Programming Languages (POPL'96), St.Petersburg Beach	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	258--270	INFERENCE
CITATIONS	14 found	ParsCit 1.0