An Assertion Language for Data Structures - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Stephen A. Cook, Derek C. Oppen. An Assertion Language for Data Structures. In POPL. pages 160-166, 1975.

@inproceedings{CookO75,
  title = {An Assertion Language for Data Structures},
  author = {Stephen A. Cook and Derek C. Oppen},
  year = {1975},
  tags = {data-flow language, data-flow, C++},
  researchr = {https://researchr.org/publication/CookO75},
  cites = {0},
  citedby = {0},
  pages = {160-166},
  booktitle = {POPL},
}

runs on WebDSL