Structuring specifications in-the-large and in-the-small: Higher-order functions, dependent types and inheritance in SPECTRAL
- 1 January 1991
- book chapter
- Published by Springer Nature
- p. 313-336
- https://doi.org/10.1007/3540539816_74
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Operational semantics for order-sorted algebraPublished by Springer Nature ,2005
- Algebraic system specification and developmentPublished by Springer Nature ,1991
- Modularizing the formal description of a database systemPublished by Springer Nature ,1990
- Towards a Design Methodology for Distributed SystemsPublished by Springer Nature ,1989
- Pebble, a kernel language for modules and abstract data typesInformation and Computation, 1988
- The essence of MLPublished by Association for Computing Machinery (ACM) ,1988
- Report on the larch shared languageScience of Computer Programming, 1986
- Using dependent types to express modular structurePublished by Association for Computing Machinery (ACM) ,1986
- Program specification and development in standard MLPublished by Association for Computing Machinery (ACM) ,1985
- Parameterized ProgrammingIEEE Transactions on Software Engineering, 1984