The corresponding executable file is a.out. It is executed with the command
You can give a name different than a.out to the generated executable file with the command:
which creates the executable file myfile. myfile can be executed with the command:
We can compile a source file myfile.c and create a corresponding object file myfile.o, and not an executable file, with the command
The use of object files [and of libraries] is discussed in a separate page.