Static semantic analysis and theorem proving for CASL
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 333-348
- https://doi.org/10.1007/3-540-64299-4_43
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- May I borrow your logic? (Transporting logical structures along maps)Theoretical Computer Science, 1997
- Permissive subsorted partial logic in CASLPublished by Springer Nature ,1997
- TAS and IsaWin: Generic interfaces for transformational program development and theorem provingPublished by Springer Nature ,1997
- Equivalences among various logical frameworks of partial algebrasPublished by Springer Nature ,1996
- Correct and user-friendly implementations of transformation systemsPublished by Springer Nature ,1996
- A structure preserving encoding of Z in isabelle/HOLPublished by Springer Nature ,1996
- Program Development by Specification and TransformationPublished by Springer Nature ,1993
- Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operationsTheoretical Computer Science, 1992
- General LogicsPublished by Elsevier ,1989
- Identity and existence in intuitionistic logicPublished by Springer Nature ,1979