As a first step in the larger project of charting the ontology of computer programs, we pose three central questions: Can programs, hardware, and metaprograms be organized into a meaningful taxonomy? To what ontology are computer programs committed? What explains the proliferation of programming languages and how do they come about? Taking the complementary perspectives software engineering and mathematical logic, we suggest that the notions of abstraction and concretization must take a central role in this investigation.