Effective Meta-programming in Declarative Languages (1998)
by
Antony Francis Bowers
| Citations: | 2 - 0 self |
BibTeX
@MISC{Bowers98effectivemeta-programming,
author = {Antony Francis Bowers},
title = {Effective Meta-programming in Declarative Languages},
year = {1998}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Declarative meta-programming is vital, since it is the most promising means by which programs can be made to reason about other programs. A metaprogram is a program that takes another program, called the object program, as data. A declarative programming language is a programming language based on a logic that has a model theory. A meta-program operates on a representation of an object...
