Jason J. Hickey

Learn More
The ML module system provides proven mechanisms for organizing and maintaining large programs through the use of structures, to implement program units, and signatures, that give a n abstract speciication of structures. A signature is a partial speciication: it simply lists the components of the structure together with their types. For domains with security(More)
  • 1