generating language bindings

Article View: comp.specification

Article #189

Back to comp.specification Previous Next

#189

From: Rowland Reed
Date: Fri, 21 Sep 1990 21:07

16 lines
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

Technical Details

Message-ID: <11420@cadillac.CAD.MCC.COM>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!milano!cadillac!reed@mcc.com

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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