David E. Langworthy

Publication Activity (10 Years)

Years Active: 1988-2012
Publications (10 Years): 0

Top Topics

Semantic Analysis

Top Venues

J. Funct. Program.

Publications

Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
Semantic subtyping with an SMT solver. J. Funct. Program. 22 (1) (2012)
Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy
Semantic subtyping with an SMT solver. ICFP (2010)
James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
Formal specification of a Web services protocol. J. Log. Algebraic Methods Program. 70 (1) (2007)
James E. Johnson, David E. Langworthy, Leslie Lamport, Friedrich H. Vogt
Formal Specification of a Web Services Protocol. Electron. Notes Theor. Comput. Sci. 105 (2004)
David E. Langworthy, Stanley B. Zdonik
Storage Class Extensibility in the Brown Object Storage System. POS (1994)
David E. Langworthy
Evaluating correctness criteria for transactions. ACM SIGPLAN Notices 24 (4) (1989)
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
ZEITGEIST: Database Support for Object-Oriented Programming. OODBS (1988)