Unfortunately, it is "not true" the most of the time only in theory and
it is true most of the time in practice that they have no understood
meaning since no one has successfully defined a dynamic semantic
interpretaion for Java by any of three main approaches. Scheme is one of
the languages for which a formal semantic interpretation has been
successfully created. So some people interpret Scheme that way.
Java is not one of the languages. No complete operational, denotational
or axiomatic semantics have been created for Java.
"No true Scotsman." We *were* talking about interpretation of individual
computer programs. Suddenly now you're talking about a "complete
operational, denotational or axiomatic semantic" for the Java language
as a whole, about which I have no claims.
Want to reply to this thread or ask your own question?
You'll need to choose a username for the site, which only take a couple of moments. After that, you can post your question and our members will help you out.