The Bedwyr system for model checking over syntactic expressions

  title={The Bedwyr system for model checking over syntactic expressions},
  author={David Baelde and Andrew Gacek and Dale Miller and Gopalan Nadathur and Alwen Tiu},
syntax. In Glynn Winskel, editor, 12th Symp. on Logic in Computer Science, pages 434–445, Warsaw, Poland, July 1997. IEEE Computer Society Press. 4. Dale Miller. Abstract syntax for variable binders: An overview. In John Lloyd and et. al., editors, Computational Logic CL 2000, number 1861 in LNAI, pages 239–253. Springer, 2000. 5. Dale Miller and Alwen Tiu. A proof theory for generic judgments. ACM Trans. on Computational Logic, 6(4):749–783, October 2005. 6. Gopalan Nadathur and Natalie… CONTINUE READING
Highly Cited
This paper has 101 citations. REVIEW CITATIONS


Publications citing this paper.

102 Citations

Citations per Year
Semantic Scholar estimates that this publication has 102 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…