Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!tut.cis.ohio-state.edu!snorkelwacker!bloom-beacon!eru!hagbard!sunic!mcsun!hp4nl!fwi.uva.nl!kim!veltink
From: veltink@fwi.uva.nl (Gert Veltink)
Newsgroups: comp.specification
Subject: Re: generating language bindings
Message-ID: <1283@carol.fwi.uva.nl>
Date: 24 Sep 90 09:03:21 GMT
References: <11420@cadillac.CAD.MCC.COM>
Sender: news@fwi.uva.nl
Reply-To: veltink@fwi.uva.nl (Gert Veltink)
Organization: Faculteit Wiskunde & Informatica, Universiteit van Amsterdam
Lines: 21

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