Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!milano!cadillac!reed@mcc.com
From: reed@mcc.com (Rowland Reed)
Newsgroups: comp.specification
Subject: generating language bindings
Message-ID: <11420@cadillac.CAD.MCC.COM>
Date: 21 Sep 90 21:07:05 GMT
Sender: news@cadillac.CAD.MCC.COM
Reply-To: reed@mcc.com (Rowland Reed)
Organization: MCC CAD Framework Lab
Lines: 16


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