A technology for writing programs that are made up of self-sufficient modules that contain all of the information needed to manipulate a given data structure.