User-Defined Data Types as an Aid to Verifying LISP Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Robert Cartwright. User-Defined Data Types as an Aid to Verifying LISP Programs. In ICALP. pages 228-256, 1976.

@inproceedings{Cartwright76:0,
  title = {User-Defined Data Types as an Aid to Verifying LISP Programs},
  author = {Robert Cartwright},
  year = {1976},
  tags = {program verification, data-flow programming, data-flow},
  researchr = {https://researchr.org/publication/Cartwright76%3A0},
  cites = {0},
  citedby = {0},
  pages = {228-256},
  booktitle = {ICALP},
}

runs on WebDSL