Thread View: comp.specification
2 messages
2 total messages
Started by Rowland Reed
Fri, 21 Sep 1990 21:07
generating language bindings
Author: Rowland Reed
Date: Fri, 21 Sep 1990 21:07
Date: Fri, 21 Sep 1990 21:07
16 lines
928 bytes
928 bytes
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
Re: generating language bindings
Author: 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
Thread Navigation
This is a paginated view of messages in the thread with full content displayed inline.
Messages are displayed in chronological order, with the original post highlighted in green.
Use pagination controls to navigate through all messages in large threads.
Back to All Threads