Re: Programming language specification languages

The DMS Software Reengineering Toolkit is based entirely on Unicode,
and includes, we think, a pretty complete array of
parser/prettyprinter treebuilder/rewrite rule applier tools.


This means you really can write temporal logic specifications using
the appropropriate box-and-diamond operators, as well as quite the
variety of other exotic glyphs. See
http://www.semdesigns.com/Products/DMS/DMSToolkit.html.


What we don't have is "easy expression", i.e., good editors and/or good
ways to enter
such characters (maybe this is just a keyboard/character binding
problem). Fishing through Win2K's "Insert Symbol" menu works but
is pretty unsatisfying.


--
Ira D. Baxter, Ph.D. CTO Semantic Designs, Inc.
http://www.semdesigns.com


"RKRayhawk" <rkrayhawk@aol.com> wrote in message
> On Date: 20 Sep 2001 00:30:22 -0400 the original poster, Nick
> Maclaren, nmm1@cam.ac.uk, indicated
> <<
> I want something that enables me to say what I want to say, but precisely.
> >>
>
> and got a response that centered on several specification tools that
> are ASCII based.


> Out at the surface, it seems like there is a real strong need for lots
> of symbols for a new language that would permit easy expression of the
> marks for parallelism as well as all the traditional operators and
> delimiters. ...
> At any rate, there seems to be a distinct possibility that the 8-bit
> encoding facilities are actually clogging up creative
> channels. Sixteen bit foundations do not necessitate markup language
> tools, but they do open up a realm that has far too few language
> development tools.

Return to the comp.compilers page.
Search the comp.compilers archives again.