%0 Generic %1 scholarometeraahmed1 %A Ahmed, A %A Appel, AW %A Richards, CD %A ..., KN %D 2010 %K compilers programming_languages security theoretical_computer_science %T Semantic foundations for typed assembly languages %U https://www.cs.princeton.edu/~appel/papers/sftal.pdf

@misc{scholarometeraahmed1, added-at = {2010-07-09T15:55:51.000+0200}, author = {Ahmed, A and Appel, AW and Richards, CD and ..., KN}, biburl = {https://www.bibsonomy.org/bibtex/29ae22f450302b43a805a984b8c958344/iusoic}, description = {test upload 1 2010-07-09}, howpublished = {{ACM Transactions on ...} - portal.acm.org}, interhash = {50b4d54fb5ab5c7f1567a7e6be8929cc}, intrahash = {9ae22f450302b43a805a984b8c958344}, keywords = {compilers programming_languages security theoretical_computer_science}, note = {3 citation(s)}, timestamp = {2010-07-09T15:55:51.000+0200}, title = {Semantic foundations for typed assembly languages}, url = {https://www.cs.princeton.edu/~appel/papers/sftal.pdf}, year = 2010 }