Formal spec languages on top of C/C++ ?

Article View: comp.specification

Article #480

Back to comp.specification Previous Next

#480

From: Kanth Miriyala
Date: Wed, 06 Jan 1993 21:27

11 lines
761 bytes

Are there any formal specification languages available on top
of C/C++ environments? I am looking for formal spec languages
that are automatically translated down to C or C++ (perhaps
inefficiently or partially).

Please send me email. Thanks. 

-Kanth

kanth@andersen.com

Technical Details

Message-ID: <1993Jan6.212736.1456@news.acns.nwu.edu>

Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!news.acns.nwu.edu!andersen!kanth

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification
Path: arc1-ca.pugleaf.net!sparky!uunet!zaphod.mps.ohio-state.edu!news.acns.nwu.edu!andersen!kanth
From: kanth@andersen.uucp (Kanth Miriyala)
Subject: Formal spec languages on top of C/C++ ?
Message-ID: <1993Jan6.212736.1456@news.acns.nwu.edu>
Sender: usenet@news.acns.nwu.edu (Usenet on news.acns)
Nntp-Posting-Host: andersen.cstar.andersen.com
Organization: Northwestern University, Evanston, Illinois, USA
Date: Wed, 6 Jan 1993 21:27:36 GMT
Lines: 11