User loginNavigation |
archivesSPARKAdaA SPARK program has a precise meaning which is unaffected by the choice of Ada compiler and can never be erroneous.
From the examples in the chapter, I thought it looked surprisingly simple to use - comparable to adding contracts in DbC, for example. I guess the analysis requires a little more effort? This has been mentioned only in passing by Ehud so I hope it's worth a post of its own. And I'm amused by the idea that Ada is a sloppy, ill-defined language... ;o)By andrew cooke at 2005-01-02 17:14 | Implementation | Software Engineering | 15 comments | other blogs | 8881 reads
|
Browse archivesActive forum topics |
Recent comments
16 weeks 1 day ago
16 weeks 1 day ago
16 weeks 1 day ago
38 weeks 2 days ago
42 weeks 4 days ago
44 weeks 1 day ago
44 weeks 1 day ago
46 weeks 6 days ago
51 weeks 3 days ago
51 weeks 3 days ago