Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

OOPSLA
2007
Springer

favoriteEmaildiscussreport

157views Security Privacy» more OOPSLA 2007»

Elephant 2000: a programming language based on speech acts

13 years 10 months ago

Elephant 2000: a programming language based on speech acts

Download www-formal.stanford.edu

: 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)

John McCarthy

Real-time Traffic

Electronic Data Interchange | OOPSLA 2007 | Programming Language | Transaction Processing |

claim paper

Related Content

» Extending the Operational Semantics of a BDI AgentOriented Programming Language for Introd...

» On the Formal Semantics of SpeechAct Based Communication in an AgentOriented Programming L...

» Fullyautomatic generation of user interfaces for multiple devices from a highlevel model b...

» JADL An Agent Description Language for Smart Agents

» Semantics of Communicating Agents Based on Deduction and Abduction

» Javox A Toolkit for Building SpeechEnabled Applications

» SmartWeb Mobile Applications of the Semantic Web

» Jiro Storage Management

Post Info
More Details (n/a)

Added	08 Jun 2010
Updated	08 Jun 2010
Type	Conference
Year	2007
Where	OOPSLA
Authors	John McCarthy

Comments (0)