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