The heterogeneous tool set, HETS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4424 LNCS, Issue , 2007, Pages 519-522

  Mossakowski, Till ^a   Maeder, Christian ^a   Lüttich, Klaus ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 37249014604     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71209-1_40     Document Type: Conference Paper

References (11)

1. CoFI (The Common Framework Initiative). CASL Reference Manual. LNCS 2960 (IFIP Series). Springer, 2004.
2. J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95-146, 1992.
3. K. Lüttich and T. Mossakowski. Reasoning Support for CASL with Automated Theorem Proving Systems. WADT 2006, Springer LNCS, to appear.
4. T. Mossakowski. Heterogeneous specification and the heterogeneous tool set. Habilitation thesis, University of Bremen, 2005.
5. T. Mossakowski, S. Autexier, and D. Hutter. Development graphs - proof management for structured specifications. Journal of Logic and Algebraic Programming, 67(1-2): 114-145, 2006.
6. T. Nipkow, L. C. Paulson, and M. Wenzel. Isabelle/HOL -A Proof Assistant for HigherOrder Logic. Springer Verlag, 2002.
7. S. Peyton-Jones, editor. Haskell 98 Language and Libraries -The Revised Report. Cambridge, 2003.
8. also: J. Funct. Programming 13 (2003).
9. A. Riazanov and A. Voronkov. The design and implementation of VAMPIRE. AI Communications, 15(2-3):91-110, 2002.
10. C. Weidenbach, U. Brahm, T. Hillenbrand, E. Keen, C. Theobalt, and D. Topic. SPASS version 2.0. In Andrei Voronkov, editor, Automated Deduction - CADE-18, LNCS 2392, pages 275-279. Springer-Verlag, 2002.
11. J. Zimmer and S. Autexier. The MathServe System for Semantic Web Reasoning Services. In U. Furbach and N. Shankar, editors, 3rd IJCAR, LNCS 4130. Springer, 2006.