Verification of Meta-Interpreters

@article{Pedreschi1997VerificationOM,
  title={Verification of Meta-Interpreters},
  author={Dino Pedreschi and Salvatore Ruggieri},
  journal={J. Log. Comput.},
  year={1997},
  volume={7},
  pages={267-303}
}
2 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…