Before revision:  We outline an abstract design for a social contracts programming language , whose rules specify social contract transitions, and show, via programming examples, that key application areas, including social groups; communities of hosts and tourists ;
After revision:  We outline an abstract design for a social contracts programming language , whose rules specify social contract transitions, and show, via programming examples, that key application areas, including social community; simple sharing-economy applications ;