Please use this identifier to cite or link to this item: https://doi.org/10.1142/S0218194006002689
Title: Analysis of meta-programs: An example
Authors: Jarzabek, S. 
Zhang, H.
Shen, R.U.
Lam, V.T.
Zhenxin, S. 
Keywords: Debugging
Meta-programs
Program analysis
Program queries
Program understanding
Issue Date: 2006
Source: Jarzabek, S., Zhang, H., Shen, R.U., Lam, V.T., Zhenxin, S. (2006). Analysis of meta-programs: An example. International Journal of Software Engineering and Knowledge Engineering 16 (1) : 77-101. ScholarBank@NUS Repository. https://doi.org/10.1142/S0218194006002689
Abstract: Meta-programs are generic, incomplete, adaptable programs that are instantiated at construction time to meet specific requirements. Templates and generative techniques are examples of meta-programming techniques. Understanding of meta-programs is more difficult than understanding of concrete, executable programs. Static and dynamic analysis methods have been applied to ease understanding of programs - can similar methods be used for meta-programs? In our projects, we build meta-programs with a meta-programming technique called XVCL. Meta-programs in XVCL are organized into a hierarchy of meta-components from which the XVCL processor generates concrete, executable programs that meet specific requirements. We developed an automated system that analyzes XVCL meta-programs, and presents developers with information that helps them work with meta-programs more effectively. Our system conducts both static and dynamic analysis of a. meta-program. An integral part of our solution is a query language, FQL in which we formulate questions about meta-prograin properties. An FQL query processor automatically answers a class of queries. The analysis method described in the paper is specific to XVCL. However, the principle of our approach can be applied to other meta-programming systems. We believe readers interested in metaprogramming in general will find some of the lessons from our experiment interesting and useful. © World Scientific Publishing Company.
Source Title: International Journal of Software Engineering and Knowledge Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/40663
ISSN: 02181940
DOI: 10.1142/S0218194006002689
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

1
checked on Dec 14, 2017

Page view(s)

58
checked on Dec 10, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.