%0 Conference Paper %1 conf/sas/WhiteM13 %A White, Leo %A Mycroft, Alan %B SAS %D 2013 %E Logozzo, Francesco %E Fähndrich, Manuel %I Springer %K %P 433-453 %T Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation. %U http://dblp.uni-trier.de/db/conf/sas/sas2013.html#WhiteM13 %V 7935 %@ 978-3-642-38855-2

@inproceedings{conf/sas/WhiteM13, added-at = {2023-12-13T07:31:33.000+0100}, author = {White, Leo and Mycroft, Alan}, biburl = {https://www.bibsonomy.org/bibtex/2c4febd86eaf6944fc37c467ea4a1d074/admin}, booktitle = {SAS}, crossref = {conf/sas/2013}, editor = {Logozzo, Francesco and Fähndrich, Manuel}, ee = {https://www.wikidata.org/entity/Q59505559}, interhash = {ba12f6b85a05b4766d5d2c300c8d2e05}, intrahash = {c4febd86eaf6944fc37c467ea4a1d074}, isbn = {978-3-642-38855-2}, keywords = {}, pages = {433-453}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T07:31:33.000+0100}, title = {Concise Analysis Using Implication Algebras for Task-Local Memory Optimisation.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2013.html#WhiteM13}, volume = 7935, year = 2013 }