What happened to LarchC++?

D

Dez Akin

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?
 

Ask a Question

Want to reply to this thread or ask your own question?

You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.

Ask a Question

Members online

Forum statistics

Threads
474,173
Messages
2,570,938
Members
47,481
Latest member
ElviraDoug

Latest Threads

Top