David E. Langworthy

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Semantic subtyping with an SMT solver.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2007
Formal specification of a Web services protocol.
J. Log. Algebr. Program., 2007

2004
Formal Specification of a Web Services Protocol.
Electr. Notes Theor. Comput. Sci., 2004

1996
Extensibility and Asynchrony in the Brown-Object Storage System.
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

1989
Evaluating correctness criteria for transactions.
SIGPLAN Notices, 1989

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


  Loading...