Static and Dynamic Semantics Processing

Static and Dynamic Semantics Processing (1991)

Cached

Download Links

[ftp.daimi.au.dk]

Other Repositories/Bibliography

DBLP

by Charles Consel , Olivier Danvy

Venue:	Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages
Citations:	47 - 25 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Static and Dynamic Semantics Processing	user correction - Legacy Corrections
AUTHOR NAME	Charles Consel	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science; Yale University	SVM HeaderParse 0.2
AUTHOR NAME	Olivier Danvy	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computing and Information Sciences; Kansas State University	SVM HeaderParse 0.2
ABSTRACT	This paper presents a step forward in the use of partial evaluation for interpreting and compiling programs, as well as for automatically generating a compiler from denotational definitions of programming languages. We determine the static and dynamic semantics of a programming language, reduce the expressions representing the static semantics, and generate object code by instantiating the expressions representing the dynamic semantics. By processing the static semantics of the language, programs get compiled. By processing the static semantics of the partial evaluator, compilers are generated. The correctness of a compiler is guaranteed by the correctness of both the executable specification and our partial evaluator. The results reported in this paper improve on previous work in the domain of compiler generation [16, 30], and solves several open problems in the domain of partial evaluation [15]. In essence: ffl Our compilation goes beyond a mere syntax-tosemantics mapping since the ...	user correction - Legacy Corrections
YEAR	1991	INFERENCE
VENUE	Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	14--24	INFERENCE
CITATIONS	50 found	ParsCit 1.0