1978 in computing

SAP SE (; ) doing business as SAP, is a German multinational software company based in Walldorf, Baden-Württemberg, Germany that is the world's largest vendor of enterprise software.

formal language for concurrent systems

type system supporting type inference