Abstract:Concurrent computations resemble conversations. In a conversation, participants direct utterances at others and, as the conversation evolves, exploit the known common context to advance the conversation. Similarly, collaborating software components share knowledge with each other in order to make progress as a group towards a common goal. This dissertation studies concurrency from the perspective of cooperative knowledge-sharing, taking the conversational exchange of knowledge as a central concern in the design of concurrent programming languages. In doing so, it makes five contributions: 1. It develops the idea of a common dataspace as a medium for knowledge exchange among concurrent components, enabling a new approach to concurrent programming. While dataspaces loosely resemble both "fact spaces" from the world of Linda-style languages and Erlang's collaborative model, they significantly differ in many details. 2. It offers the first crisp formulation of cooperative, conversational knowledge-exchange as a mathematical model. 3. It describes two faithful implementations of the model for two quite different languages. 4. It proposes a completely novel suite of linguistic constructs for organizing the internal structure of individual actors in a conversational setting. The combination of dataspaces with these constructs is dubbed Syndicate. 5. It presents and analyzes evidence suggesting that the proposed techniques and constructs combine to simplify concurrent programming. The dataspace concept stands alone in its focus on representation and manipulation of conversational frames and conversational state and in its integral use of explicit epistemic knowledge. The design is particularly suited to integration of general-purpose I/O with otherwise-functional languages, but also applies to actor-like settings more generally.

In the Beginning There Was Conversation: Fictive Direct Speech in the Hebrew Bible

Dialogue in the Israeli Classroom: Types of Teacher–Student Talk

Anaphora and Discourse Structure

We Tweet Like We Talk and Other Interesting Observations: An Analysis of English Communication Modalities

A general theory of consciousness II: The language problem

Concepts, abstractness and inner speech

From the analysis of verbal data to the analysis of organizations: organizing as a dialogical process

Do Sitcom Conversations Fully Depict Those in Natural Settings: A Corpus-Based Lexical Analysis

The sound of thought: Form matters-The prosody of inner speech

Author and Characters: Ancient, Narratological, and Cognitive Views on a Tricky Relationship

The Evolution of Language and Human Rationality

Advancing an Interdisciplinary Science of Conversation: Insights from a Large Multimodal Corpus of Human Speech

Conversational Concurrency

On the relation of speech to language

How Did We Get Here? Summarizing Conversation Dynamics

Speech Acts and Speech Act Sequences: Greetings and Farewells in the History of American English

Biblical Narrative and the Birth of Prose Literature

Understanding Design Features of Music and Language: The Choric/Dialogic Distinction

Interactive games, dialogues and the verbalization

Expressive Speech Acts Used to Open and Close Dialogues in Present-Day Romanian

Verbal behavior without syntactic structures: beyond Skinner and Chomsky