User loginNavigation |
The case for Semantic AnalysisHow to statically ensure software reliability is aimed mostly at C programmers in the embedded space:
There is a conspicuous silence in the article on how PLs might help the tools. And I can't help but think that the static semantic analysis amounts to Constraint Programming (propagate and branch). |
Browse archives
Active forum topics |
Recent comments
38 weeks 5 days ago
38 weeks 5 days ago
38 weeks 5 days ago
1 year 8 weeks ago
1 year 13 weeks ago
1 year 14 weeks ago
1 year 14 weeks ago
1 year 17 weeks ago
1 year 22 weeks ago
1 year 22 weeks ago