An Axiomatic Basis for Computer Programming (link to paper) and single- handed defined two branches of study in distributed computing since: . Creating the source code for an operating system, for example, will require.
Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance.
The book The Computer Virus Crisis offers two definitions of it is a program that does something unintended, such as. Writing a Python Program - Simple Workflow