%0 Conference Paper %1 conf/cassis/BonelliCM05 %A Bonelli, Eduardo %A Compagnoni, Adriana B. %A Medel, Ricardo H. %B CASSIS %D 2005 %E Barthe, Gilles %E Grégoire, Benjamin %E Huisman, Marieke %E Lanet, Jean-Louis %I Springer %K dblp %P 37-56 %T Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks. %U http://dblp.uni-trier.de/db/conf/cassis/cassis2005.html#BonelliCM05 %V 3956 %@ 3-540-33689-3

@inproceedings{conf/cassis/BonelliCM05, added-at = {2024-04-13T00:00:00.000+0200}, author = {Bonelli, Eduardo and Compagnoni, Adriana B. and Medel, Ricardo H.}, biburl = {https://www.bibsonomy.org/bibtex/2dae3f904b8601ee62b109ec55f5af356/dblp}, booktitle = {CASSIS}, crossref = {conf/cassis/2005}, editor = {Barthe, Gilles and Grégoire, Benjamin and Huisman, Marieke and Lanet, Jean-Louis}, ee = {https://doi.org/10.1007/11741060_3}, interhash = {d835a39620fe2e829ba90b87c7315217}, intrahash = {dae3f904b8601ee62b109ec55f5af356}, isbn = {3-540-33689-3}, keywords = {dblp}, pages = {37-56}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:06:09.000+0200}, title = {Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.}, url = {http://dblp.uni-trier.de/db/conf/cassis/cassis2005.html#BonelliCM05}, volume = 3956, year = 2005 }