All Questions
Tagged with program-correctness compilers
2 questions
-1
votes
1
answer
237
views
Does checking for correctness belong predominantly to "semantic analysis"?
Does checking for correctness belong predominantly to "semantic analysis"?
Or is it reasonable to be done in earlier phases (in a compiler like construction) as well? Mainly in syntax ...
- 579
7
votes
6
answers
3k
views
Can all languages have semantic and logical errors?
I have been reading about PHP and many authors mention semantic and logical errors separately. As an example of a semantic error, they give a function called with incorrect number of parameters: this ...
user970696