Compiling Mercury to high-level C code

Compiling Mercury to high-level C code (2001)

by Fergus Henderson , Zoltan Somogyi

Venue:	Proceedings of the 2002 International Conference on Compiler Construction
Citations:	7 - 4 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Compiling Mercury to high-level C code	user correction - Legacy Corrections
AUTHOR NAME	Fergus Henderson	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science and Software Engineering; The University of Melbourne	SVM HeaderParse 0.2
AUTHOR ADDR	Victoria 3010, Australia	SVM HeaderParse 0.1
AUTHOR NAME	Zoltan Somogyi	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computer Science and Software Engineering; The University of Melbourne	SVM HeaderParse 0.2
AUTHOR ADDR	Victoria 3010, Australia	SVM HeaderParse 0.1
ABSTRACT	Many logic programming implementations compile to C, but they compile to very low-level C, and thus discard many of the advantages of compiling to a high-level language. We describe an alternative approach to compiling logic programs to C, based on continuation passing, that we have used in a new back-end for the Mercury compiler. The new approach compiles to much higher-level C code, which means the compiler back-end and run-time system can be considerably simpler.	user correction - Legacy Corrections
YEAR	2001	user correction - Legacy Corrections
VENUE	Proceedings of the 2002 International Conference on Compiler Construction	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	197--212	INFERENCE
CITATIONS	18 found	ParsCit 1.0