Questions tagged [reflection]
Reflection allows a program to inspect and modify its own source code, allowing greater flexibility.
3
questions
6
votes
3
answers
296
views
What proof assistants can reason about the complexity of its *own* programs?
This is obviously a question inspired by can proof assistants reason about the complexity of programs?.
Here, the question involves a degree of meta-programming (or reflection if you'd prefer).
For ...
- 429
3
votes
1
answer
143
views
Proof by Exhaustive Computation for small initial segment of natural numbers (in Coq)
I have two functions f, g : nat -> nat. Let's pretend that f and g are cheap to compute.
...
- 1,241
18
votes
2
answers
1k
views
What's the difference between reflection and tactics?
Agda has a reflection mechanism (not equality reflection or reflexivity, but something related to metaprogramming based on goals and contexts to generate terms) and people have developed some ...
- 5,857