The term meta-programming refers to the ability of writing programs that have other programs as data and exploit their semantics . The choice of logic programming as a basis for meta-programming offers a number of practical and theoretical advantages. One of them is the possibility of tackling critical foundation problems of meta-programming within a framework with a strong theoretical basis. Another is the surprising ease of programming. These reasons motivated an intensive research on meta-programming inside the logic programming community ,,,,.
|Titel||Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR2001), 3-7 December 2001, Havana, Cuba|
|Redacteuren||R. Nieuwenhuis, A. Voronkov|
|Plaats van productie||Berlin|
|ISBN van geprinte versie||3-540-42957-3|
|Status||Gepubliceerd - 2001|
|Naam||Lecture Notes in Computer Science|
|ISSN van geprinte versie||0302-9743|