🚀 go-pugleaf

In <1993Jan6.212736.1456@news.acns.nwu.edu> kanth@andersen.uucp (Kanth Miriyala) writes:

>Are there any formal specification languages available on top
>of C/C++ environments? I am looking for formal spec languages
>that are automatically translated down to C or C++ (perhaps
>inefficiently or partially).

We are working on a formal specification language for C++, Larch/C++.
However it we have no plans for automatically generating executable code.
(On the other hand, we will automatically extract header files from the
specifications.)  If you are interested, send the message,
	send TR TR92-16a
to almanac@cs.iastate.edu to get a report describing the design.
We have a parser for the language, and are working on a reference manual
and documentation.  Watch for an announcement of availability...

However, I think what you want may be the RAISE tools.  You can get them from
CRI in Denmark (for real money).  This is a finely engineered and realistic
specification environment, which can generate (inefficient) C++ code from
certain specifications.  Contact jsp@csd.cri.dk (Jan Storbank-Pedersen)
or look up the following for more information.

@InCollection{Chalmers-etal91,
  Key = 	"D. L. Chalmers, {\em et al}",
  Author = 	"D. L. Chalmers and B. Dandanell and J. Gortz and J.
		 S. Pedersen and E. Zierau",
  Title = 	"Using RAISE --- First Impressions from the LaCoS Applications",
  BookTitle = 	"VDM '91 Formal Software Development Methods 4th
		 International Symposium of VDM Europe
		 Noordwijkerhout, The Netherlands, Volume 1:
		 Conference Contributions",
  Publisher = 	Springer-Verlag,
  Year = 	1991,
  Editor = 	"S. Prehn and W. J. Toetenel",
  Series = 	LNCS,
  Volume = 	551,
  Pages = 	"645-657",
  Address = 	NY,
  Month = 	Oct,
  Annote = 	"12 references."
}


@Article{Dandanell91,
  Key = 	"Dandanell",
  Author = 	"Bent Dandanell",
  Title = 	"Rigorous Development Using {RAISE}",
  Journal =	"Software Engineering Notes",
  Year = 	1991,
  Volume = 	16,
  Number = 	5,
  Month = 	Dec,
  Pages = 	"29-43",
  Note = 	"ACM SIGSOFT '91 Conference on Software for Critical Systems, New Orleans Louisiana, Dec. 4-6",
  Annote = 	"11 references."
}


@TechReport{Eriksen-Prehn91,
  Key = 	"Eriksen \& Prehn",
  Author = 	"Kirsten Eriksen and Soren Prehn",
  Title = 	"{RAISE} Overview",
  Institution = 	"Computer Resources International A/S",
  Year = 	1991,
  Number = 	"RAISE/CRI/DOC/9/V5",
  Address = 	"Denmark",
  Month = 	Oct,
  Annote = 	"17 references."
}

There is reportedly a book or two (to be) published by Prentice Hall about
RAISE.

	Gary Leavens

--
	229 Atanasoff Hall, Department of Computer Science
	Iowa State University, Ames, Iowa 50011-1040, USA
	phone: (515) 294-1580  fax: (515) 294-0258