default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2nd Bytecode@ETAPS 2007: Braga, Portugal
- Marieke Huisman, Fausto Spoto:
Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007. Electronic Notes in Theoretical Computer Science 190(1), Elsevier 2007 - Marieke Huisman
, Fausto Spoto:
Preface. 1 - Jesse McGeachie, Jürgen Dingel:
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. 3-18 - Emilie Balland, Pierre-Etienne Moreau, Antoine Reilles:
Bytecode Rewriting in Tom. 19-33 - Hermann Lehner, Peter Müller:
Formal Translation of Bytecode into BoogiePL. 35-50 - Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo:
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. 51-66 - Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini:
Experiments in Cost Analysis of Java Bytecode. 67-83 - Miguel Gómez-Zamalloa, Elvira Albert, Germán Puebla:
Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. 85-101 - Ando Saabas, Tarmo Uustalu:
Type Systems for Optimizing Stack-based Code. 103-119 - Quan Hoang Nguyen, Bernhard Scholz:
Computing SSA Form with Matrices. 121-132 - Jaroslav Sevcík:
Proving Resource Consumption of Low-level Programs Using Automated Theorem Provers. 133-147 - Theo C. Ruys, Niels H. M. Aan de Brugh:
MMC: the Mono Model Checker. 149-160
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.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
