%0 Journal Article %1 journals/jlp/JanssenB92 %A Janssens, Gerda %A Bruynooghe, Maurice %D 1992 %J J. Log. Program. %K dblp %N 2&3 %P 205-258 %T Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation. %U http://dblp.uni-trier.de/db/journals/jlp/jlp13.html#JanssenB92 %V 13

@article{journals/jlp/JanssenB92, added-at = {2021-02-17T00:00:00.000+0100}, author = {Janssens, Gerda and Bruynooghe, Maurice}, biburl = {https://www.bibsonomy.org/bibtex/23eabbfb9d76a983fca29464a05458202/dblp}, ee = {https://doi.org/10.1016/0743-1066(92)90032-X}, interhash = {8b3e8afa103c97449ec2a8bbc8bbefeb}, intrahash = {3eabbfb9d76a983fca29464a05458202}, journal = {J. Log. Program.}, keywords = {dblp}, number = {2&3}, pages = {205-258}, timestamp = {2024-04-08T10:50:37.000+0200}, title = {Deriving Descriptions of Possible Values of Program Variables by Means of Abstract Interpretation.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp13.html#JanssenB92}, volume = 13, year = 1992 }