Coq Tacticals and PVS Strategies: A Small Step Semantics
In: Design and Application of Strategies/Tactics in Higher Order Logics, 2003-09-01
Online
report
The need for a small step semantics and more generally for a thorough documentation and understanding of Coq's tacticals and PVS's strategies arise with their growing use and the progressive uncovering of their subtleties. The purpose of the following study is to provide a simple and clear formal framework to describe their detailed semantics, and highlight their differences and similarities.
Titel: |
Coq Tacticals and PVS Strategies: A Small Step Semantics
|
---|---|
Autor/in / Beteiligte Person: | Kirchner, Florent |
Link: | |
Zeitschrift: | Design and Application of Strategies/Tactics in Higher Order Logics, 2003-09-01 |
Veröffentlichung: | United States: NASA Center for Aerospace Information (CASI), 2003 |
Medientyp: | report |
Schlagwort: |
|
Sonstiges: |
|