David E. Langworthy

According to our database, David E. Langworthy authored at least 6 papers between 1988 and 2012.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2012

Semantic subtyping with an SMT solver.

Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy

J. Funct. Program., 2012

2004

Formal Specification of a Web Services Protocol.

James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

1996

Extensibility and Asynchrony in the Brown-Object Storage System.

David E. Langworthy, Stanley B. Zdonik

Proceedings of the Performance of Concurrency Control Mechanisms in Centralized Database Systems., 1996

1994

Storage Class Extensibility in the Brown Object Storage System.

David E. Langworthy, Stanley B. Zdonik

Proceedings of the Persistent Object Systems, 1994

1988

Evaluating correctness criteria for transactions.

David E. Langworthy

Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

ZEITGEIST: Database Support for Object-Oriented Programming.

Steve Ford, John Joseph, David E. Langworthy, David F. Lively, Girish Pathak, Edward R. Perez, Robert W. Peterson, Diana M. Sparacin, Satish M. Thatte, David L. Wells, Sanjive Agarwala

Proceedings of the Advances in Object-Oriented Database Systems, 1988