Suchergebnisse - "Java Bytecode"

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Termination graphs for Java bytecode

Brockschmidt, Marc

Aachen : RWTH, 2010

E-Book

Verified Java bytecode verification

Klein, Gerwin (Verfasser)

2003

E-Book

SHAP — Scalable Multi-Core Java Bytecode Processor

Zabel, Martin

Dresden [u.a.] : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden[u.a.], 2012

E-Book

Automated detection of non-termination and NullPointerExceptions for Java bytecode

Brockschmidt, Marc

Aachen : RWTH Aachen, 2011

E-Book

Automated termination analysis of Java bytecode by term rewriting

Otto, Carsten

Aachen : RWTH, 2010

E-Book

Modular termination proofs of recursive java bytecode programs by term rewriting

Brockschmidt, Marc (Verfasser)

Aachen : RWTH Aachen, 2011

E-Book

Effiziente Mehrkernarchitektur für eingebettete Java-Bytecode-Prozessoren

Zabel, Martin (Verfasser)

Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012

E-Book

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III

Beyer, Dirk (Herausgeber)

1st ed. 2019

Cham : Springer International Publishing, 2019

E-Book

Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis

Artho, Cyrille (Verfasser)

Freiburg : Universität, 2023

E-Book

Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Siegler, Simon (Herausgeber)

1st edition 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Compiler Construction : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009, Proceedings

de Moor, Oege (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

E-Book

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Bonsangue, Marcello M (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Trustworthy Global Computing : 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers

Wirsing, Martin (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Ueda, Kazunori (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

E-Book

Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings

Barthe, Gilles (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Compiler Construction : 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings

Hendren, Laurie (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Programming Languages and Systems : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS, Braga, Portugal, March 24 - April 1, 2007, Proceedings

De Nicola, Rocco (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers

Barthe, Gilles (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Practical Aspects of Declarative Languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007, Proceedings

Hanus, Michael (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Static Analysis : 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings

Riis Nielson, Hanne (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

E-Book

Bücher, Zeitschriften, Online-Medien und mehr aus Ihrer Bibliothek

Treffer 1 - 20 von 26

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken