TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving

Kolyang, Christoph Lüth, Thomas Meyer, Burkhart Wolff. TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving. In Michel Bidoit, Max Dauchet, editors, TAPSOFT 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings. Volume 1214 of Lecture Notes in Computer Science, pages 855-858, Springer, 1997.

@inproceedings{KolyangLMW97,
  title = {TAS and IsaWin: Generic Interfaces for Transformational Program Development and Theorem Proving},
  author = {Kolyang and Christoph Lüth and Thomas Meyer and Burkhart Wolff},
  year = {1997},
  tags = {generic programming, transformation, program transformation},
  researchr = {https://researchr.org/publication/KolyangLMW97},
  cites = {0},
  citedby = {0},
  pages = {855-858},
  booktitle = {TAPSOFT 97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  editor = {Michel Bidoit and Max Dauchet},
  volume = {1214},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-62781-2},
}