Re: Programming language specification languages

"Ira D. Baxter" <idbaxter@semdesigns.com>
26 Sep 2001 00:47:00 -0400

          From comp.compilers

Related articles
Programming language specification languages nmm1@cus.cam.ac.uk (2001-09-20)
Re: Programming language specification languages cfc@world.std.com (Chris F Clark) (2001-09-21)
Re: Programming language specification languages asloane@ics.mq.edu.au (Anthony M. Sloane) (2001-09-25)
Re: Programming language specification languages rkrayhawk@aol.com (2001-09-25)
Re: Programming language specification languages idbaxter@semdesigns.com (Ira D. Baxter) (2001-09-26)
Re: Programming language specification languages vbdis@aol.com (2001-09-26)
Re: Programming language specification languages wclodius@aol.com (2001-10-06)
Re: Programming language specification languages joachim_d@gmx.de (Joachim Durchholz) (2001-10-06)
Re: Programming language specification languages joachim_d@gmx.de (Joachim Durchholz) (2001-10-06)
Re: Programming language specification languages neelk@alum.mit.edu (2001-10-10)
Re: Programming language specification languages wclodius@aol.com (2001-10-20)
[1 later articles]
| List of all articles for this month |

From: "Ira D. Baxter" <idbaxter@semdesigns.com>
Newsgroups: comp.compilers
Date: 26 Sep 2001 00:47:00 -0400
Organization: Compilers Central
References: 01-09-087 01-09-106
Keywords: design, tools
Posted-Date: 26 Sep 2001 00:47:00 EDT

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.


Post a followup to this message

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