From ML to Ada: Strongly-typed Language Interoperability via Source Translation

From ML to Ada: Strongly-typed Language Interoperability via Source Translation (1993)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Andrew Tolmach , Dino P. Oliva

Citations:

59 - 3 self

Versions

Version History

Metadata Version 3

User correction supplied by mph

Datum	Value	Source
TITLE	From ML to Ada: Strongly-typed Language Interoperability via Source Translation	user correction - Legacy Corrections
AUTHOR NAME	Andrew Tolmach	user correction
AUTHOR AFFIL	Pacific Software Research Center; Department of Computer Science, Portland State University,	user correction
AUTHOR ADDR	P.O. Box 751, Portland, OR, 97207-0751, USA	user correction
AUTHOR NAME	Dino P. Oliva	user correction
AUTHOR AFFIL	2; Pacific Software Research Center; Department of Computer Science and Engineering, Oregon Graduate Institute,	user correction
AUTHOR ADDR	20000 N.W. Walker Road, P.O. Box 91000, Portland, OR 97291-1000, USA	user correction
ABSTRACT	We describe a system that supports source-level integration of ML-like functional language code with ANSI C or Ada83 code. The system works by translating the functional code into type-correct, "vanilla" C or Ada; it offers simple, efficient, type-safe inter-operation between new functional code components and "legacy" third-generationlanguage components. Our translator represents a novel synthesis of techniques including user-parameterized specification of primitive types and operators; removal of polymorphism by code specialization; removal of higher-order functions using closure datatypes and interpretation; and aggressive optimization of the resulting first-order code, which can be viewed as encoding the result of a closure analysis. Programs remain fully typed at every stage of the translation process, using only simple, standard type systems. Target code runs at speeds comparable to the output of current optimizing ML compilers, even though handicapped by a conservative garbage collector.	user correction
YEAR	1993	user correction
CITATIONS	55 found	ParsCit 1.0