[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Paper "CASL: From Semantics to Tools"

To: cofi-tools@brics.dk
Subject: Paper "CASL: From Semantics to Tools"
From: Till Mossakowski <till@informatik.uni-bremen.de>
Date: Tue, 2 Nov 1999 09:38:24 +0100 (MET)
Delivered-To: cofi-tools-archive@daimi.au.dk
Reply-To: cofi-tools@brics.dk
Sender: owner-cofi-tools@brics.dk


Dear friends,

I have just finished a paper

     CASL: From Semantics to Tools

containing a general non-technical desciprtion
of the Bremen HOL-CASL system, and some general
ideas about tools for CASL. The paper is
available under

http://www.informatik.uni-bremen.de/~till/publications.html

Greetings,
Till

P.S.
A new version of the HOL-CASL system will be released soon.

Prev by Date: What's new?
Next by Date: New Release of HOL-CASL parser and checker
Prev by thread: What's new?
Next by thread: New Release of HOL-CASL parser and checker
Index(es):
- Date
- Thread