Article View: comp.specification
Article #190Re: generating language bindings
From: Gert Veltink
Date: Mon, 24 Sep 1990 09:03
Date: Mon, 24 Sep 1990 09:03
21 lines
1484 bytes
1484 bytes
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
Technical Details
Message-ID:
<1283@carol.fwi.uva.nl>Path:
arc1-ca.pugleaf.net!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!veltinkReferences:
<11420@cadillac.CAD.MCC.COM>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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