Wing, Jeannette M.
All Media Types
Wing J. Communications of the ACM 10(64): 64-71, 2021. Type: Article
Artificial intelligence (AI) techniques are useful in creating effective computing tools for diverse applications in areas such as transportation, agriculture, medicine, and justice systems. Yet the credibility of AI is still an interesting subjec...
Dec 14 2021
Bootstrapping privacy compliance in big data systems
Sen S., Guha S., Datta A., Rajamani S., Tsai J., Wing J. SP 2014 (Proceedings of the 2014 IEEE Symposium on Security and Privacy, May 18-21, 2014) 327-342, 2014. Type: Proceedings
Oct 27 2014
Respectful Type Converters
Wing J., Ockerbloom J. IEEE Transactions on Software Engineering 26(7): 579-593, 2000. Type: Article
relation can be used to characterize the information that remains unchanged during type conversions. This basic research paper presents a formal definition of this relation. The definition is based on the Liskov and Wing behavi...
Aug 1 2001
Specification matching of software components
Zaremski A., Wing J. ACM Transactions on Software Engineering and Methodology 6(4): 333-369, 1997. Type: Article
A general theory of semantic matches is developed that considers not only functions, but also modules consisting of functions. The authors assume that the behavior of a component is specified by a signature and by pre- and postconditions. Differen...
Feb 1 1998
A behavioral notion of subtyping
Liskov B., Wing J. ACM Transactions on Programming Languages and Systems 16(6): 1811-1841, 1994. Type: Article
Subtyping, also known informally as inheritance, is an important notion in object-oriented programming, but may lead to unexpected problems if not handled properly. In order to ensure that intrinsic properties are preserved during the process of s...
Jun 1 1996
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2022 ThinkLoud, Inc.