Metaprogramming in Logic (1994)
by
Jonas Barklund
| Venue: | ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY |
| Citations: | 17 - 0 self |
BibTeX
@TECHREPORT{Barklund94metaprogrammingin,
author = {Jonas Barklund},
title = {Metaprogramming in Logic},
institution = {ENCYCLOPEDIA OF COMPUTER SCIENCE AND TECHNOLOGY},
year = {1994}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this review of metaprogramming in logic we pay equal attention to theoretical and practical issues: the contents range from mathematical and logical preliminaries to implementation and applications in, e.g., software engineering and knowledge representation. The area is one in rapid development but we have emphasized such issues that are likely to be important for future metaprogramming languages and methodologies.
