Subtypes vs. Convertible Types

• To: types@dcs.gla.ac.uk
• Subject: Subtypes vs. Convertible Types
• From: shang@cadsun.corp.mot.com (David Lujun Shang)
• Date: Fri, 7 Jun 96 13:00:43 -0500
• Approved: types@dcs.gla.ac.uk

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]



My recent paper titled "Subtypes and Convertible Types" tries to answer
the following questions:

	* What are subtypes after all?
	* When should subtype rules be used?
	* Are subclasses subtypes?
	* Can we have more subclasses and hence more subtypes?
	* Can we have more convertible types?

For detail, go to

	http://www.sigs.com/publications/docs/oc/9606/oc9606.c.shang.html

Your comments are welcome!

David Shang

David Lujun Shang                        email: shang@corp.mot.com
Software Systems Research Laboratory     Voice: (708)538-3738
Motorola Corparate Software Center       Fax:   (708)576-2025
1303 East Algonquin Road, Annex 2        MD:    IL01/ANX2
Schaumburg, Illinois 60196

• Prev: Multi-Level Specifications (new papers)
• Next: CFP reminder: ASIAN'96
• Index(es):
  • Main
  • Thread