Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Peter Borovansky. Le controle de la reecriture: etude et implantation d'un formalisme de strategies. PhD thesis, Universite Henri Poincare-Nancy I, October 1998.
2. Peter Borovansky, Claude Kirchner, and Helene Kirchner. Controlling rewriting by rewriting. Electronic Notes in Theoretical Computer Science, 5, 1997.
3. E. M. Clarke and A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In D. Kozen, editor, Logics of Programs, volume 131 of Lecture Notes in Computer Science, pages 52–71. Springer Verlag, 1981.
4. A Discipline of Programming;Dijkstra,1976
5. X. Du, K McDonnell, E. Nanos, Y. S. Ramakrishan, and Scott A. Smolka. Software design, specification and verification: Lessons learned from the Rether case study. In Proc. of Sixth International Conference on Algebraic Methods and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 185–198. Springer Verlag, 1997.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Shoggoth: A Formal Foundation for Strategic Rewriting;Proceedings of the ACM on Programming Languages;2024-01-05
2. A Semantics for Proof Plans with Applications to Interactive Proof Planning;Logic for Programming, Artificial Intelligence, and Reasoning;2002