What do professional web developers use to generate sites?

Just wondering what pro web developers use to publish their sites. Also I would like to know what big sites have used, such as Amazon, Walmart, etc.

Thank you for your time.