David E. Langworthy

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

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Semantic subtyping with an SMT solver.
J. Funct. Program., 2012

2004
Formal Specification of a Web Services Protocol.
Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

1996
Extensibility and Asynchrony in the Brown-Object Storage System.
Proceedings of the Performance of Concurrency Control Mechanisms in Centralized Database Systems., 1996

1994
Storage Class Extensibility in the Brown Object Storage System.
Proceedings of the Persistent Object Systems, 1994

1988
Evaluating correctness criteria for transactions.
Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

ZEITGEIST: Database Support for Object-Oriented Programming.
Proceedings of the Advances in Object-Oriented Database Systems, 1988


  Loading...