%0 Journal Article %1 journals/logcom/HughesL92 %A Hughes, John %A Launchbury, John %D 1992 %J J. Log. Comput. %K dblp %N 4 %P 465-482 %T Relational Reversal of Abstract Interpretation. %U http://dblp.uni-trier.de/db/journals/logcom/logcom2.html#HughesL92 %V 2

@article{journals/logcom/HughesL92, added-at = {2022-03-02T00:00:00.000+0100}, author = {Hughes, John and Launchbury, John}, biburl = {https://www.bibsonomy.org/bibtex/2073bfe5a4ac208a958e77d05278b0ce7/dblp}, ee = {https://doi.org/10.1093/logcom/2.4.465}, interhash = {9107728016a017b5647805c624f24c5f}, intrahash = {073bfe5a4ac208a958e77d05278b0ce7}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 4, pages = {465-482}, timestamp = {2024-04-09T05:12:26.000+0200}, title = {Relational Reversal of Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom2.html#HughesL92}, volume = 2, year = 1992 }