![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/bytecode/bytecode2007.bht:"
@inproceedings{DBLP:journals/entcs/AlbertAGPZ07, author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ{\'{a}}n Puebla and Damiano Zanardini}, editor = {Marieke Huisman and Fausto Spoto}, title = {Experiments in Cost Analysis of Java Bytecode}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {67--83}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.061}, doi = {10.1016/J.ENTCS.2007.02.061}, timestamp = {Tue, 31 Jan 2023 15:42:47 +0100}, biburl = {https://dblp.org/rec/journals/entcs/AlbertAGPZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BallandMR07, author = {Emilie Balland and Pierre{-}Etienne Moreau and Antoine Reilles}, editor = {Marieke Huisman and Fausto Spoto}, title = {Bytecode Rewriting in Tom}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {19--33}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.058}, doi = {10.1016/J.ENTCS.2007.02.058}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BallandMR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Gomez-ZamalloaAP07, author = {Miguel G{\'{o}}mez{-}Zamalloa and Elvira Albert and Germ{\'{a}}n Puebla}, editor = {Marieke Huisman and Fausto Spoto}, title = {Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {85--101}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.062}, doi = {10.1016/J.ENTCS.2007.02.062}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Gomez-ZamalloaAP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HuismanS07, author = {Marieke Huisman and Fausto Spoto}, editor = {Marieke Huisman and Fausto Spoto}, title = {Preface}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {1}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.07.001}, doi = {10.1016/J.ENTCS.2007.07.001}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HuismanS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LehnerM07, author = {Hermann Lehner and Peter M{\"{u}}ller}, editor = {Marieke Huisman and Fausto Spoto}, title = {Formal Translation of Bytecode into BoogiePL}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {35--50}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.059}, doi = {10.1016/J.ENTCS.2007.02.059}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LehnerM07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/McGeachieD07, author = {Jesse McGeachie and J{\"{u}}rgen Dingel}, editor = {Marieke Huisman and Fausto Spoto}, title = {Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {3--18}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.057}, doi = {10.1016/J.ENTCS.2007.02.057}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/McGeachieD07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/MendezNH07, author = {Mario M{\'{e}}ndez{-}Lojo and Jorge A. Navas and Manuel V. Hermenegildo}, editor = {Marieke Huisman and Fausto Spoto}, title = {An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {51--66}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.060}, doi = {10.1016/J.ENTCS.2007.02.060}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/MendezNH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NguyenS07, author = {Quan Hoang Nguyen and Bernhard Scholz}, editor = {Marieke Huisman and Fausto Spoto}, title = {Computing {SSA} Form with Matrices}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {121--132}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.064}, doi = {10.1016/J.ENTCS.2007.02.064}, timestamp = {Mon, 13 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/NguyenS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/RuysB07, author = {Theo C. Ruys and Niels H. M. Aan de Brugh}, editor = {Marieke Huisman and Fausto Spoto}, title = {{MMC:} the Mono Model Checker}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {149--160}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.066}, doi = {10.1016/J.ENTCS.2007.02.066}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/RuysB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SaabasU07, author = {Ando Saabas and Tarmo Uustalu}, editor = {Marieke Huisman and Fausto Spoto}, title = {Type Systems for Optimizing Stack-based Code}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {103--119}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.063}, doi = {10.1016/J.ENTCS.2007.02.063}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SaabasU07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Sevcik07, author = {Jaroslav Sevc{\'{\i}}k}, editor = {Marieke Huisman and Fausto Spoto}, title = {Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers}, booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, pages = {133--147}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2007.02.065}, doi = {10.1016/J.ENTCS.2007.02.065}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Sevcik07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/bytecode/2007, editor = {Marieke Huisman and Fausto Spoto}, title = {Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {190}, number = {1}, publisher = {Elsevier}, year = {2007}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/190/issue/1}, timestamp = {Tue, 31 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bytecode/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.