Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
This paper presents a comparatively general method for specifying a 'data constraint' on a parameterized data type (i.e., specifying just which category of algebras it is supposed to be defined or correct on), and shows that there is a simple canonical form for such constraint specifications. We also show how such constraints may be employed to give 'loose' specifications of data types. © 1987.
Erich P. Stuntebeck, John S. Davis II, et al.
HotMobile 2008
Indranil R. Bardhan, Sugato Bagchi, et al.
JMIS
Joel L. Wolf, Mark S. Squillante, et al.
IEEE Transactions on Knowledge and Data Engineering
Hang-Yip Liu, Steffen Schulze, et al.
Proceedings of SPIE - The International Society for Optical Engineering