*Search Results* - Termination graphs for Java bytecode

sublabel_Solr

1
2
*Next*
[2]

Termination graphs for Java bytecode

Brockschmidt, Marc

Aachen : RWTH, 2010

*eBook*

Automated detection of non-termination and NullPointerExceptions for Java bytecode

Brockschmidt, Marc

Aachen : RWTH Aachen, 2011

*eBook*

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

*eBook*

Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part II

Sankaranarayanan, Sriram (Herausgeber)

1st ed. 2023

Cham : Springer Nature Switzerland, 2023

*eBook*

Abstract state machines : a method for high level system design and analysis ; with 19 tables

Börger, Egon (Verfasser)

Berlin : Springer, 2003

*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

*eBook*

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

*eBook*

Parallel processing : proceedings

Bode, Arndt (Herausgeber)

Berlin : Springer, 2000

*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

*eBook*

Proceedings of the 1999 International Conference on Software Engineering : May 16 -22, 1999, Los Angeles, California, USA

International Conference on Software Engineering (21 : 1999 : Los Angeles, Calif.)

New York, NY : Association for Computing Machinery, 1999

*book*

On the move to meaningful internet systems 2003: OTM 2003 workshops : OTM confederated international workshops, HCI-SWWA ..., Catania, Sicily, Italy, November 3 - 7, 2003 ; proceedings

Meersman, Robert (Herausgeber)

Berlin : Springer, 2003

*book*

POPL '00 : papers presented at the symposium ; Boston, Massachusetts, 19 - 21 January 2000

POPL (27. : 2000 : Boston, Mass.)

New York, NY : Assoc. for Computing Machinery, 2000

*book*

Theoretical Aspects of Computing - ICTAC 2012 : 9th International Colloquium, Bangalore, India, September 24-27, 2012, Proceedings

Roychoudhury, Abhik (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

*eBook*

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

*eBook*

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Beckert, Bernhard (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

*eBook*

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

*eBook*

Programming Languages and Systems : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings

Yi, Kwangkeun (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

*eBook*

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

*eBook*

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

*eBook*

Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Cousot, Radhia (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

*eBook*

1
2
*Next*
[2]

*sublabel_Solr*

*Showing* 1 - 20 *of* 28

*pagination*

*pagination*

*Narrow Search*

sublabel_Solr

Showing 1 - 20 of 28

pagination

pagination

Narrow Search