Type systems for modular programs and specifications
This thesis studies the foundations of formal program development. It brings together aspects of algebraic specification and type theory and applies them to powerful new mechanisms for modular programming and specification. The language ASL+ is the vehicle for the study. It is a typed A-calculus bui...
| Main Author: | |
|---|---|
| Published: |
University of Edinburgh
1997
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.641111 |