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
37 weeks 3 days ago
37 weeks 3 days ago
37 weeks 3 days ago
1 year 7 weeks ago
1 year 11 weeks ago
1 year 13 weeks ago
1 year 13 weeks ago
1 year 16 weeks ago
1 year 20 weeks ago
1 year 20 weeks ago