to main content
to side bar (if existing)
to footer with external links
KATALOGPORTAL
KARLA
Toggle navigation
News from the University Library
Requesting items
Your Account
Log Out
Log in
DE/EN
English
Deutsch
Warning! JavaScript is disabled in your browser. Therefore this website has limited usability.
/Search/Results?lookfor=%22Java+Bytecode%22&type=AllFields
Books & More
/EDS/Search?lookfor=%22Java+Bytecode%22&type=AllFields&view=
Articles & More
/Combined/Results?lookfor=%22Java+Bytecode%22
Combined results
(0)
Find
Search History
KATALOGPORTAL
KARLA
Search: "Java Bytecode"
Not found what you are looking for? Check in
Onleihe
or make a
Purchase Request
Filter options
Books & More
Books, Journals, Online-Media and more from your Library
Showing
1
-
20
of
26
for search:
'"Java Bytecode"'
, query time: 0.09s
1
Termination graphs for Java bytecode
Brockschmidt, Marc
Aachen : RWTH, 2010
E-Book
Save to List
Saved in:
2
Verified Java bytecode verification
Klein, Gerwin (Verfasser)
2003
E-Book
Save to List
Saved in:
3
SHAP — Scalable Multi-Core Java Bytecode Processor
Zabel, Martin
Dresden [u.a.] : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden[u.a.], 2012
E-Book
Save to List
Saved in:
4
Automated detection of non-termination and NullPointerExceptions for Java bytecode
Brockschmidt, Marc
Aachen : RWTH Aachen, 2011
E-Book
Save to List
Saved in:
5
Automated termination analysis of Java bytecode by term rewriting
Otto, Carsten
Aachen : RWTH, 2010
E-Book
Save to List
Saved in:
6
Modular termination proofs of recursive java bytecode programs by term rewriting
Brockschmidt, Marc (Verfasser)
Aachen : RWTH Aachen, 2011
E-Book
Save to List
Saved in:
7
Effiziente Mehrkernarchitektur für eingebettete Java-Bytecode-Prozessoren
Zabel, Martin (Verfasser)
Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
E-Book
Save to List
Saved in:
8
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
Save to List
Saved in:
9
Subroutine inlining and bytecode abstraction to simplify static and dynamic analysis
Artho, Cyrille (Verfasser)
Freiburg : Universität, 2023
E-Book
Save to List
Saved in:
10
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
Save to List
Saved in:
11
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
Save to List
Saved in:
12
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
Save to List
Saved in:
13
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
Save to List
Saved in:
14
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
Save to List
Saved in:
15
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
Save to List
Saved in:
16
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
Save to List
Saved in:
17
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
Save to List
Saved in:
18
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
Save to List
Saved in:
19
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
Save to List
Saved in:
20
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
Save to List
Saved in:
More results in Books & more
Not found what you are looking for?
Purchase Request
/
Onleihe
/
Interlibrary Loan
Articles & more
Loading...
Please enable JavaScript.
×
Loading...
