• DocumentCode
    2776728
  • Title

    Assertion techniques for dynamic monitoring of linear list data structures

  • Author

    Yau, Stephen S. ; Ramey, John L.

  • Author_Institution
    Northwestern University
  • fYear
    1979
  • fDate
    1979
  • Firstpage
    606
  • Lastpage
    611
  • Keywords
    Computerized monitoring; Contracts; Data structures; Embedded software; High level languages; Large-scale systems; Programming profession; Software maintenance; Software measurement; Software systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Software and Applications Conference, 1979. Proceedings. COMPSAC 79. The IEEE Computer Society's Third International
  • Type

    conf

  • DOI
    10.1109/CMPSAC.1979.762566
  • Filename
    762566
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2776728