Nogle programmeringssprog har en form for formel definition eller specifikation for hvad der er muligt at udtrykke i sproget, og hvordan det gøres. En sådan definition eller specifikation kan opdeles i syntaks (form/grammatik) og semantik (betydning). Andre programmeringssprog er løst defineret ud fra manualer, gængs brug eller en bestemt [[compiler|oversætter/fortolker]], kaldet en [[referenceimplementering]]. <!-- Eksempelvis har programmeringssprogene [[C (programmeringssprog)C]] en [[ISO]]-standard, [[Standard ML|programmerignssproget Standard ML]] en formel specifikation hvor sprogets semantik også er defineret, mens det som er programmer som er udtrykt korrekt i programmeringssprogene [[Perl]] eller [[PHP]] afgøres af om programmerne vil køre. -->
Filosofi Samfund Biblioteks-_og_informationsvidenskab Kommunikation Journalistik Kultur Videnskab Teknologi Naturvidenskab