[comp.specification] generating language bindings

reed@mcc.com (Rowland Reed) (09/22/90)

I have recently been thrust into the world of formal specification,
and I have an elementary question:

  Is there a specification language for which there exist tools to
  generate language bindings for programming languages, specifically C
  and C++?

Thanks in advance,
email replys appreciated,

Rowland
-----------------------------------------------------------------------
			     Rowland Reed
  MCC CAD Framework Lab ~ 3500 W. Balcones Center Dr. ~ Austin, TX
	     Phone: (512) 338-3379 ~ FAX: (512) 338-3600

veltink@fwi.uva.nl (Gert Veltink) (09/24/90)

In article <11420@cadillac.CAD.MCC.COM> reed@mcc.com (Rowland Reed) writes:
>
>I have recently been thrust into the world of formal specification,
>and I have an elementary question:
>
>  Is there a specification language for which there exist tools to
>  generate language bindings for programming languages, specifically C
>  and C++?
>
There will be some presentations on this subject during the FORTE'90
conference in Madrid.

TOPO: a full LOTOS to C compiler, T. Miguel e.a., Technical University of Madrid
Automatic Code generator form SDL to C++, K. Miyake e.a., OKI

						     Gert.
____________________________________________________________________________
Gert Veltink                | "give us our daily bread, in individual slices"
Programming Research Group  |                            - Elvis Costello -
University of Amsterdam     |
The Netherlands             |                 		veltink@fwi.uva.nl