DSL Implementation Using Staging and Monads

DSL Implementation Using Staging and Monads (1999)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Tim Sheard , Zine-el-abidine Benaissa , Emir Pasalic

Venue:	In Second Conference on Domain-Specific Languages (DSL'99
Citations:	15 - 5 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	DSL Implementation Using Staging and Monads	user correction - Legacy Corrections
AUTHOR NAME	Tim Sheard	SVM HeaderParse 0.1
AUTHOR AFFIL	Pacific Software Research Center; Oregon Graduate Institute	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 91000 Portland, Oregon 97291-1000 USA	SVM HeaderParse 0.1
AUTHOR NAME	Zine-el-abidine Benaissa	SVM HeaderParse 0.1
AUTHOR AFFIL	Pacific Software Research Center; Oregon Graduate Institute	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 91000 Portland, Oregon 97291-1000 USA	SVM HeaderParse 0.1
AUTHOR NAME	Emir Pasalic	SVM HeaderParse 0.1
AUTHOR AFFIL	Pacific Software Research Center; Oregon Graduate Institute	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 91000 Portland, Oregon 97291-1000 USA	SVM HeaderParse 0.1
ABSTRACT	The impact of Domain Specific Languages (DSLs) on software design is considerable. They allow programs to be more concise than equivalent programs written in a high-level programming languages. They relieve programmers from making decisions about data-structure and algorithm design, and thus allows solutions to be constructed quickly. Because DSL's are at a higher level of abstraction they are easier to maintain and reason about than equivalent programs written in a highlevel language, and perhaps most importantly they can be written by domain experts rather than programmers. The problem is that DSL implementation is costly and prone to errors, and that high level approaches to DSL implementation often produce inefficient systems. By using two new programming language mechanisms, program staging and monadic abstraction, we can lower the cost of DSL implementations by allowing reuse at many levels. These mechanisms provide the expressive power that allows the construction of many compil...	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	In Second Conference on Domain-Specific Languages (DSL'99	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	81--94	INFERENCE
CITATIONS	33 found	ParsCit 1.0