Correct and User-Friendly Implementations of Transformation Systems
作者： Kolyang , T. Santen , B. Wolff
DOI: 10.1007/3-540-60973-3_111
关键词:
摘要: We present an approach to integrate several existing tools and methods a technical framework for correctly developing executing program transformations. The resulting systems enable derivations in user-friendly way.
springer.com
core.ac.uk
sci-hub.st 参考文章(18)
Maritta Heisel, Thomas Santen, Dominik Zimmermann, Tool Support for Formal Software Development: A Generic Architecture european software engineering conference. pp. 272- 293 ,(1995) , 10.1007/3-540-60406-5_20
Lawrence C. Paulson, A Fixedpoint Approach to Implementing (Co)Inductive Definitions conference on automated deduction. pp. 148- 161 ,(1994) , 10.1007/3-540-58156-1_11
M. J. C. Gordon, T. F. Melham, Introduction to HOL: a theorem proving environment for higher order logic Cambridge University Press. ,(1993)
Donald Syme, A New Interface for HOL - Ideas, Issues and Implementation theorem proving in higher order logics. pp. 324- 339 ,(1995) , 10.1007/3-540-60275-5_74
Jonathan P. Bowen, Michael G. Hinchey, Seven more myths of formal methods: Dispelling industrial prejudices formal methods. pp. 105- 117 ,(1994) , 10.1007/3-540-58555-9_91
Tobias Nipkow, Lawrence C. Paulson, Isabelle: A Generic Theorem Prover ,(1994)
Bernd Krieg-Brückner, Berthold Hoffmann, Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System Springer-Verlag. ,(1993)
Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte, Lightweight GUIs for Functional Programming international symposium on programming language implementation and logic programming. pp. 341- 356 ,(1995) , 10.1007/BFB0026829
A. Cant, M. A. Ozols, Xlsabelle: A Graphical User Interface to the Isabelle Theorem Prover. ,(1995)
Richard S. Bird, Oege Moor, Solving Optimisation Problems with Catamorphism mathematics of program construction. ,vol. 669, pp. 45- 66 ,(1992) , 10.1007/3-540-56625-2_7