Re: Compiles without Executing


"CNerd2025" <andrew.elgert@xxxxxxxxx> wrote in message news:1141162944.818025.285280@xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
My boss, sort of an eccentric guy, came in today and asked if I could
write a program that:
a) compiles correctly
b) is logically correct, and
c) never executes.

I immediately told him a seg fault, but he said, "it is entirely
correct". He also mentioned that some guy at (he believes)
Rutherford-Appleton Laboratory has solved it with some 4-line program.
Anyone know what's up with it? Thanks.

Define "compiles correctly", "is logically correct" and "never executes".

For example, your boss seems to classify the behaviour of "seg fault" as violating "is logically correct", which is not intuitively true to me.

- Oliver

.

Relevant Pages

  • Re: Compiles without Executing
    ... never executes. ... I immediately told him a seg fault, but he said, "it is entirely ... If you're posting through Google read ...
    (comp.programming)
  • Re: Compiles without Executing
    ... Personally I'm inclined to answer "no" to the question; if it compiles ... how you define "logically correct" this might fit the bill. ... To meet the "never executes" criterion, ... OS can't load the program -- again for resource reasons, ...
    (comp.programming)
  • Re: Compiles without Executing
    ... how you define "logically correct" this might fit the bill. ... To meet the "never executes" criterion, ... OS can't load the program -- again for resource reasons, ...
    (comp.programming)
  • Re: Compiles without Executing
    ... how you define "logically correct" this might fit the bill. ... To meet the "never executes" criterion, ... OS can't load the program -- again for resource reasons, ...
    (comp.programming)
  • Re: Compiles without Executing
    ... Compiles correctly means that there are no errors or warnings from the ... Logically correct ... Never executes means that the program simply never runs. ... Since he is a physicist with programming capability, ...
    (comp.programming)