Structuring Specifications inthe-Large and inthe-Small : Higher-Order Functions , Dependent Types and Inheritance in SPECTRAL 1


SPECTRAL is an experiment in specification language design that tries to maintain compactness in spite of a number of orthogonal concepts. The design is based on Extended ML and PROSPECTRA, generalising and extending both approaches. Of particular concern are the means for structuring specifications and programs in-thelarge and in-the-small. The language… (More)

1 Figure or Table


  • Presentations referencing similar topics