Second-order proof systems for algebraic specification languages
Selected papers from 9th workshop on Specification of abstract data types : recent trends in data type specification: recent trends in data type specification
Precedences in specifications and implementations of programming languages
PLILP '91 Selected papers of the symposium on Programming language implementation and logic programming
May I borrow your logic? (Transporting logical structures along maps)
Theoretical Computer Science - Special issue: algebraic development techniques
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Development of Parsing Tools for CASL Using Generic Language Technology
WADT '99 Selected papers from the 14th International Workshop on Recent Trends in Algebraic Development Techniques
Static semantic analysis and theorem proving for CASL
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Moving Between Logical Systems
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
Permissive Subsorted Partial Logic in CASL
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
CoFI: The Common Framework Initiative for Algebraic Specification and Development
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Efficient annotated terms
Functional design and implementation of graphical user interfaces for theorem provers
Journal of Functional Programming
Specification of an Access Control System with a Formalism Combining CCS and CASL
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
From Specifications to Code in CASL
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
HASCASL: Towards Integrated Specification and Development of Functional Programs
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Integrating HOL-CASL into the Development Graph Manager MAYA
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
CCC: the CASL consistency checker
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Orientation calculi and route graphs: towards semantic representations for route descriptions
GIScience'06 Proceedings of the 4th international conference on Geographic Information Science
| Hi-index | 0.00 |
CASL, the common algebraic specification language, has been developed as a language that subsumes many previous algebraic specification frameworks and also provides tool interoperability. CASL is a complex language with a complete formal semantics. It is therefore a challenge to build good tools for CASL. In this work, we present and discuss the Bremen HOL-CASL system, which provides parsing, static checking, conversion to LATEX and theorem proving for CASL specifications. To make tool construction manageable, we have followed some guidelines: re-use of existing tools, interoperability of tools developed at different sites, and construction of generic tools that can be used for several languages. We describe the structure of and the experiences with our tool and discuss how the guidelines work in practice.