%0 Conference Paper %1 conf/popl/KatayamaH81 %A Katayama, Takuya %A Hoshino, Yutaka %B POPL %D 1981 %E White, John %E Lipton, Richard J. %E Goldberg, Patricia C. %I ACM Press %K dblp %P 177-186 %T Verification of Attribute Grammars. %U http://dblp.uni-trier.de/db/conf/popl/popl81.html#KatayamaH81 %@ 0-89791-029-X

@inproceedings{conf/popl/KatayamaH81, added-at = {2018-11-06T00:00:00.000+0100}, author = {Katayama, Takuya and Hoshino, Yutaka}, biburl = {https://www.bibsonomy.org/bibtex/21db63999c9c1fd663c5c03c4f586e001/dblp}, booktitle = {POPL}, crossref = {conf/popl/81}, editor = {White, John and Lipton, Richard J. and Goldberg, Patricia C.}, ee = {https://doi.org/10.1145/567532.567552}, interhash = {3a5c0d48bc50ad7ac560045f8981798a}, intrahash = {1db63999c9c1fd663c5c03c4f586e001}, isbn = {0-89791-029-X}, keywords = {dblp}, pages = {177-186}, publisher = {ACM Press}, timestamp = {2018-11-07T16:48:20.000+0100}, title = {Verification of Attribute Grammars.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl81.html#KatayamaH81}, year = 1981 }