Miscellany

[kuehne@isa.informatik.th-darmstadt.de (Thomas Kuehne)]

Hello,

we are currently preparing the documents for the final review of
our LOTOS environment with CENTAUR.
We are left with three problems and would like to know whether it is
our fault or just not possible with Centaur_1.2.

1. Memory

  We have heavy, heavy Memory problems. Yet small specifications are 
  hardly executable.
  We suffer from "Mu-Prolog out of memory".
  We use a centaur+ with GSTKLEN=8000000 on a SPARCstation10 with 32MB.

2. String handling

  We use SDF for Syntax and TYPOL for Semantics.
  We see no way how to convert all Uppercase Letters into Lowercase.
  SDF offers no means here and with TYPOL and PROLOG there is no
  access to "atomic" strings.

3. Pretty printing

  We have a language with several sublanguages (implemented as TREE).
  We wanted each language to appear with e.g. a different background.
  We did not manage to obtain this (Somehow the "class" seems to be lost
  during the change of languages).

Maybe there is a solution to one of the problems, that we did not see.

Greetings,

	tom