Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Metaprogramming

Known as: Meta programming, Meta-programming, Metaprogramming (programming) 
Metaprogramming is the art of writing of computer programs with the ability to treat programs as their data. It means that a program could be… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
We describe the metaprogramming framework currently used in Lean, an interactive theorem prover based on dependent type theory… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 7
Highly Cited
2014
Highly Cited
2014
The R statistical environment and language has demonstrated particular strengths for interactive development of statistical… Expand
  • table 1
  • figure 1
  • table 2
Highly Cited
2010
Highly Cited
2010
Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2010
Highly Cited
2010
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The… Expand
  • figure 5
Review
2010
Review
2010
Knowing which types of refactoring occurred between two program versions can help programmers better understand code changes. Our… Expand
  • table I
  • table II
  • table III
  • table IV
  • table V
Highly Cited
2001
Highly Cited
2001
Proefschrift ingediend met het oog op het behalen van de graad van Doctor in de Wetenschappen Body and mind are two phenomena… Expand
  • table 2.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • table 2.2
Highly Cited
1993
Highly Cited
1993
Abstract We describe a novel logic, called HiLog, and show that it provides a more suitable basis for logic programming than does… Expand
Highly Cited
1993
Highly Cited
1993
Mutation analysis is a powerful technique for assessing and improving the quality of test data used to unit test software… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
1991
Highly Cited
1991
by containing implementations of higher-order unification. In this paper, we present a logic programming language, called L… Expand
  • figure 1
  • figure 2
Highly Cited
1986
Highly Cited
1986
From the Publisher: B> This best-selling guide to Prolog has been fully revised and extended to provide an even greater range of… Expand