Computer software is written in languages likeC, Java orHaskell. In many cases social software is expressed in natural language. The paper explores connections between the areas of natural language analysis and analysis of social protocols, and proposes an extended program for natural language semantics, where the goals of natural language communication are derived from the demands of specific social protocols.
Springer
Synthese
Software Analysis and Transformation

van Eijck, J. (2010). The language of social software. Synthese, 177(supplement 1).