Unrestricted Procedure Calls in Hoare s Logic - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Robert Cartwright, Derek C. Oppen. Unrestricted Procedure Calls in Hoare s Logic. In POPL. pages 131-140, 1978.

@inproceedings{CartwrightO78,
  title = {Unrestricted Procedure Calls in Hoare s Logic},
  author = {Robert Cartwright and Derek C. Oppen},
  year = {1978},
  tags = {C++, logic},
  researchr = {https://researchr.org/publication/CartwrightO78},
  cites = {0},
  citedby = {0},
  pages = {131-140},
  booktitle = {POPL},
}

runs on WebDSL