Since restrictions provide strong typing, they are part of good software engineering practice and are used in the production of mission critical software. This may seem odd to those who love their debuggers. However, it is possible to use strong typing and assertions to minimize errors by finding these errors at compile time. This has been well demonstrated with Ada 95 and recently with its derivative SPARK. This will be discussed at ACM SIGAda 2003 (www.sigada.org).
Robert C. Leif, Ph.D. Meeting Chair |