LINGUISTICS AND SOCIOLINGUISTICS Linguistics is the study of language includes psycholinguistics, historical linguistics, morphology, syntax, semantics.
Introduction to SPARK Reference: “High integrity Ada” John Barnes.