What determines whether a language rule is a matter of syntax or of static semantics? Why is it impossible to detect certain program errors at compile time, even though they can be detected at run...

What determines whether a language rule is a matter of syntax or of static semantics? Why is it impossible to detect certain program errors at compile time, even though they can be detected at run time? What is an attribute grammar? What are programming assertions? What is their purpose?