Elephant 2000: a programming language based on speech acts

: Elephant 2000 is a vehicle for some ideas about programming language features. We expect these features to be valuable in writing and verifying programs that interact with people (e.g. transaction processing) or interact with programs belonging to other organizations (e.g. electronic data interchange)

• Type: Conference
• Year: 2007
• Where: OOPSLA
• Authors: John McCarthy
• Keywords: Electronic Data Interchange, OOPSLA 2007, Programming Language, Transaction Processing