H ? « ‹ ← → › »

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

SPECTUR(ID:8167/)

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
References:
  • 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