Overview

Clear


Related Overviews

 

More Like This

Show all results sharing this subject:

  • Computing

GO

Show Summary Details

Quick Reference

A language for writing formal specifications, first described by R. M. Burstall and J. A. Goguen in 1977. The language provides a formalism for expressing a complex specification hierarchically as a combination of simpler ones. This formalism can be given a precise semantics using ideas familiar from algebra and category theory.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.