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

Related topics

Related topics

50 relations
Application programming interfaceBoilerplate codeComparison of programming languagesConcept programming
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2017
Highly Cited
2017
A metaprogramming framework for formal verification
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
RcppArmadillo: Accelerating R with high-performance C++ linear algebra
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
The spoofax language workbench: rules for declarative specification of languages and IDEs
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
Ur: statically-typed metaprogramming with type-level record computation
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
Template-based reconstruction of complex refactorings
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
A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation
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
HILOG: A Foundation for Higher-Order Logic Programming
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 using mutant schemata
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
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
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
Prolog Programming for Artificial Intelligence
From the Publisher: B> This best-selling guide to Prolog has been fully revised and extended to provide an even greater range of… Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE