H ? « »

Language peer sets for SPECIAL:
Designed 1987
1980s languages
Fifth generation
Late Cold War


alternate simple view
Designed 1987
Published: 1987

SRI specification language. [HDM?]

  • Lawrence Robinson, and Olivier Roubine (1977) Lawrence Robinson, and Olivier Roubine "SPECIAL Reference Manual" Stanford Research Inst Menlo Park Calif Computer Science Lab Jan 77 CSL-45 Abstract
  • Robinson L. et al, (1977) Robinson L. et al, "SPECIAL A Specification and Assertion Language", TR CSL-46, SRI, Jan 1977. Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder