By using this site, you agree to our updated Privacy Policy and our Terms of Use. Manage your Cookies Settings.
446,260 Members | 1,352 Online
Bytes IT Community
+ Ask a Question
Need help? Post your question and get tips & solutions from a community of 446,260 IT Pros & Developers. It's quick & easy.

What happened to LarchC++?

P: n/a
In the effort to produce better software, formal specification systems
have been erected to prove some things about code. I stumbled upon the
LarchC++ system and it really intrigued me, but the last work seems to
have been done years ago, and no ones picked up on it. Have people
abandoned it out of some flaw in the specification design? It seems
that its a fairly readable spec language that is easy to embed into
source code and read.

Does it suck then, or did the people working on it just spontaneously
combust?
Jul 22 '05 #1
Share this question for a faster answer!
Share on Google+

This discussion thread is closed

Replies have been disabled for this discussion.