White Papers

Elephant 2000: A Programming Language Based on Speech Acts

Overview Elephant 2000 is a vehicle for some ideas about programming language features. These features are expect 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). Communication inputs and outputs are in an I-O language whose sentences are meaningful speech acts approximately in the sense of philosophers and linguists. These include questions, answers, offers, acceptances, declinations, requests, permissions and promises.

Download White Paper

By downloading you agree to our Terms and Conditions. These include information regarding use of your personal data.

Publisher
Stanford University
File Format
PDF
Date Published
Jan 2, 2009
Format
White Papers
Topics
Programming Languages

Similiar White Papers

Build Strong, Flexible J2EE apps With a WebSphere Cluster Environment

Build Strong, Flexible J2EE apps With a WebSphere Cluster Environment

When building a strong, extensible, and flexible J2EE application, one needs to consider several factors. One important

Publisher: IBM  |  Tags: application server, management, server

TechNet Webcast: Managing Hyper-V Virtual Machines With WMI and Windows PowerShell (Level 300)

TechNet Webcast: Managing Hyper-V Virtual Machines With WMI and Windows PowerShell (Level 300)

Before the beta release of Microsoft System Center Virtual Machine Manager 2008, there was only one option for automatin

Publisher: Microsoft  |  Tags: beta, management, windows server, windows server 2008

Building a Hybrid Data Warehouse Model

Building a Hybrid Data Warehouse Model

This paper discusses the hybrid design and provides a fully functional reference implementation. The system runs on Orac

Publisher: Oracle  |  Tags: data, database, warehouse

Taking Advantage of Microsoft Enterprise Library 4.0 for Visual Studio 2008

Taking Advantage of Microsoft Enterprise Library 4.0 for Visual Studio 2008

Microsoft Enterprise Library is a collection of reusable software components (application blocks) designed to assist sof

Publisher: Microsoft  |  Tags: developers, software

Why and How to Build a Continuous Integration Environment for the .NET Platform

Why and How to Build a Continuous Integration Environment for the .NET Platform

This paper is a learning tool and also a detailed manual to reference for executives, managers and developers on 'Why an

Publisher: Enterprise Solution Providers  |  Tags: developers

Stanford University White Papers

Modeling Signal Attenuation in IEEE 802.11 Wireless LANs - Vol. 1

Modeling Signal Attenuation in IEEE 802.11 Wireless LANs - Vol. 1

Path loss models are used to approximate signal attenuation as a function of the distance between transmitters and recei

Publisher: Stanford University  |  Tags: 802.11b, data

Measuring End-to-End Bandwidth With Iperf Using Web100

Measuring End-to-End Bandwidth With Iperf Using Web100

End-to-end bandwidth estimation tools like Iperf though fairly accurate are intrusive. This paper describes how with an

Publisher: Stanford University  |  Tags: data, ip, network

On Direct Routing in the Valiant Load-Balancing Architecture

On Direct Routing in the Valiant Load-Balancing Architecture

It is very hard to design a network with performance guarantees, partly because it is hard to estimate the future traffi

Publisher: Stanford University  |  Tags: network

Flow-Cookies: Using Bandwidth Amplification to Defend Against DDoS Flooding Attacks

Flow-Cookies: Using Bandwidth Amplification to Defend Against DDoS Flooding Attacks

Distributed Denial-of-Service flooding attacks against public web servers are increasingly common. Websites without the

Publisher: Stanford University  |  Tags: ddos, infrastructure, ip, network, server

Evaluation of Advanced TCP Stacks on Fast Long-Distance Production Networks

Evaluation of Advanced TCP Stacks on Fast Long-Distance Production Networks

With the growing needs of data intensive science, such as High Energy Physics, and the need to share data between multip

Publisher: Stanford University  |  Tags: data, ip, network