[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Language Design Meeting at ETAPS; Basic Datatypes v0.4
Dear friends,
I apologize for only inviting you now to the next meeting of the
Language Design Task Group which will be held at the ETAPS conference
(see invitation by Don appended).
The reason is a slight delay in the production of the newest version
of the Note on Basic Datatypes (see announcement below); this will be
our most important item on the agenda (otherwise there are a few minor
issues that came up from the semantics; items such as annotations will
be discussed in the Tools Group).
PLEASE STUDY IT CAREFULLY although the time is short; we need to make
a decision (of course there will be later updates and extensions).
Comments so far have been taken care of.
Best regards, and see you soon
BKB
---------------------------------------------------------------------
Don Sannella wrote:
>
...
> Invitation
> ----------
> There will be a CoFI workshop at ETAPS 2000 in Berlin on 1-2 April.
> For information about ETAPS 2000 see
> http://iks.cs.tu-berlin.de/etaps2000
> (early registration deadline 29 February) and for information about
> the CoFI workshop see
> http://www.dcs.ed.ac.uk/home/dts/CoFI-WG/etaps2000.html
> This CoFI workshop will consist mainly of technical working meetings.
> However, the first session will be an example-based CASL tutorial
> which assumes no prior knowledge of CASL. People who come only to
> this tutorial are not required to register for the workshop.
>
> Best regards,
>
> Don Sannella
> CoFI overall coordinator
---------------------------------------------------------------------
Markus Roggenbach wrote:
the new version 0.4 of our note L-12 "Basic Datatypes in CASL" is now
available at
http://www.informatik.uni-bremen.de/~cofi/L-12_04.tex
http://www.informatik.uni-bremen.de/~cofi/L-12_04.ps.gz
http://www.informatik.uni-bremen.de/~cofi/L-12_04.dvi
As an exception we annouce this new version on cofi-language before it
has been installed in the CoFI archives. (We ask Peter in parallel to
this mail to install the note in the archives.) We really do not like
this, but it seems necessary in order to save time:
We will present this new version at the language design meeting in
Berlin and ask for a preliminary approval of our Basic Datatypes as a
potential CoFI library.
We did a lot of restructering on the old version of L-12, below you
can find a detailed list of changes.
Greetings
Markus, Till, and Lutz
P.S.: Parallel to the new version of L-12 a new version 0.4 of the
Bremen CASL Tools is available at
http://www.informatik.uni-bremen.de/~cofi/CASL/parser/parser.html
(see the announcement on cofi-tools for more details) that has built
in the new Basic Datatypes of version 0.4.
--------------------
The main changes to note L-12, version 0.3, are:
1) The naming scheme
DefineDatatypeX - DatatypeX
is replaced by
DatatypeX - ExtDatatypeX.
2) The name of the library Basic/Orders is changed to
Basic/RelationsAndOrders. It provides now specifications for different
relations besides the old specifications concerned with orders.
3) The library Basic/Numbers Version 0.3 splits up into new libraries
Basic/PreNumbers Version 0.4 and
Basic/Numbers Version 0.4.
The specifications of natural numbers, integers, and rational numbers
have a new structure.
4) The libraries Basic/Algebra_I and Basic/Algebra_II have been
restructured and include many new specifications, e.g. for
polynomials.
5) There is a new library Basic/LinearAlgebra that deals with vector
spaces. It includes specifications that allow to manipulate matrices
and vectors.
6) The specification Char in the library Basic/SimpleDatatypes
includes now a great variety of character constants.
7) In the library Basic/StructuredDatatypes the specification for
finite maps and for bags are changed.
8) The appendix includes new sections:
-> Structure of the Libraries provides graphical representations of
the dependencies between the specifications.
-> Signature provides the signatures (computed by the Bremen CASL
tool) of some selected specifications.
9) In the appendix we propose a specification for finite, directed
graphs with parallel edges.
--------------------------------------------------------------------------
Markus Roggenbach Phone +49-421-218-4683
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen roba@informatik.uni-bremen.de
P.O.Box 330440, D-28334 Bremen http://www.informatik.uni-bremen.de/~roba
--------------------------------------------------------------------------
________________________________________________________________
Prof. Dr. Bernd Krieg-Brückner courier mail only:
Bremer Institut für Sichere Systeme MZH 8071
Dekan, FB3 Mathematik und Informatik FB3
Universität Bremen Universität Bremen
Postfach 330 440 Bibliothekstr. 1
D-28334 Bremen D-28359 Bremen
Telefon: (+49) 421-218-3660 telefax: (+49) 421-218-3054
bkb@Informatik.Uni-Bremen.DE privat: (+49) 421-25-1024
http://www.informatik.uni-bremen.de/~bkb, ~agbkb
http://www.unibremen.de/~sppraum (Kognitive Robotik)