Corpus ID: 5474703

Partial Evaluation and Correctness

@inproceedings{Welinder1997PartialEA,
  title={Partial Evaluation and Correctness},
  author={Morten Welinder},
  year={1997}
}
Equivalent Transformations of Heterogeneous Meta-Programs
Meta-Programming and Model-Driven Meta-Program Development

References

SHOWING 1-10 OF 104 REFERENCES
Partial Evaluation of Computation Process--An Approach to a Compiler-Compiler
  • Y. Futamura
  • Computer Science
  • High. Order Symb. Comput.
  • 1999
Computability and complexity - from a programming perspective
  • N. Jones
  • Mathematics, Computer Science
  • Foundations of computing series
  • 1997
9th international Conference on Theorem Proving in Higher Order Logics, volume 1125 of Lecture Notes in Computer Science
  • 1996
A Proof Tool for Reasoning About Functional Programs
Evolution of Partial Evaluators: Removing Inherited Limits
Partial Evaluation , International Seminar
  • Lecture Notes in Computer Science
  • 1996
Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, Selected Papers, volume 1110 of Lecture Notes in Computer Science
  • 1996
...
1
2
3
4
5
...