Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

C. Pair, M. Amirchahy, D. Neel. Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes. J. Comput. Syst. Sci., 19(1):1-17, 1979.

@article{PairAN79,
  title = {Correctness Proofs of Syntax-Directed Processing Descriptions by Attributes},
  author = {C. Pair and M. Amirchahy and D. Neel},
  year = {1979},
  tags = {C++},
  researchr = {https://researchr.org/publication/PairAN79},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {19},
  number = {1},
  pages = {1-17},
}

runs on WebDSL