Computers arechanging the way wethink. Of course, nearly all desk-workers have access to
computers and use them to email their colleagues, search the Web for information and …

CASL, the Common Algebraic Specification Language, was designed by the members of
CoFI, the Common Framework Initiative for algebraic specification and development, and is …

Development graphs are a tool for dealing with structured specifications in a formal program
development in order to ease the management of change and reusing proofs. In this work …

CASL — THE COMMON ALGEBRAIC SPECIFICATION LANGUAGE: SEMANTICS AND
PROOF THEORY Till Mossakowski Anne E. Haxthausen Donald Sann Page 1 Computing and …

Classical automated theorem proving of today is based on ingenious search techniques to
find a proof for a given theorem in very large search spaces—often in the range of several …

In order to obtain a semantic foundation for heterogeneous specification, we extend
Diaconescu's morphism-based Grothendieck institutions to the case of comorphisms. This is …

The Maya-system is mostly implemented in Common Lisp while parts of the GUI, shared with
the OMEGA-system [9], are written in Mozart. The Caslparser is provided by the CoFI-group …

We provide a semantic basis for heterogeneous specifications that not only involve different
logics, but also different kinds of translations between these. We show that Grothendieck …

Casl is an expressive specification language that has been designed to supersede many
existing algebraic specification languages and provide a standard. Casl consists of several …

In this report we present a content markup scheme for (collections of) mathematical
documents including articles, textbooks, interactive books, and courses. It can serve as the …