H ? « »

Language peer sets for SPECTUR:
Designed 1986
1980s languages
Fifth generation
Late Cold War


alternate simple view
Country: Canada
Designed 1986
Published: 1994

for SPECification language for TURing, used for the TUNIS operating system

Godfrey and Holt

Related languages
Turing SPECTUR   Specification language for

  • Godfrey, M. W. (1988) Godfrey, M. W. "Toward Formal Specification of Operating System Modules", M.Sc. thesis, Univer­sity of Toronto, June 1988.
  • Godfrey, Michael W. and Holt, Richard C. (1994) Godfrey, Michael W. and Holt, Richard C. "Spectur - A Specification Language for the Programmer" Technical Report CSRI-241, Computer Systems Research Institute September 19, 1994 Abstract Extract: Introduction Extract: Conclusions
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder