Static Program Analysis

Main
Static Program Analysis

Static Program Analysis

it-ebooks

0 / 0

Koliko vam se sviđa ova knjiga?

Kakav je kvalitet fajla?

Preuzmite knjigu radi procene kvaliteta

Kakav je kvalitet preuzetih fajlova?

Godina:

2017

Izdavač:

iBooker it-ebooks

Jezik:

english

Serije:

it-ebooks-2017

Fajl:

PDF, 475 KB

IPFS:

,

english, 2017

Konvertovanje u je u toku

Konvertovanje u nije uspešno

Možda će vas zanimati

Steve Cioccolanti — From Buddha to Jesus: An Insider’s View of Buddhism and Christianity

it-ebooks — Program Analysis Lecture Notes (CMU 15-819O)

Anders Møller, Michael I. Schwartzbach — Static Program Analysis

Uwe Kastens (auth.), Maurice Bruynooghe, Jaan Penjam (eds.) — Progamming Language Implementation and Logic Programming: 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25–27, 1993 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.) — Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Anders Møller, Michael I. Schwartzbach — Static Program Analysis

Lee Naish — Logic programming : proceedings of the Fourteenth International Conference on Logic Programming

Lee Naish, (ed.) — Logic Programming: The 14th International Conference

Andrew W. Appel — Modern Compiler Implementation in Java, 2Ed

Appel A.W. — Modern Compiler Implementation in ML

Appel A.W., Ginsburg M. — Modern Compiler Implementation in C

Appel A.W. — Modern compiler implementation in ML

Andrew W. Appel, Maia Ginsburg — Modern Compiler Implementation in C

Andrew W. Appel — Modern Compiler Implementation in Java, Second Edition

Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare — Data Flow Analysis: Theory and Practice

Calinescu, Radu (editor) & Păsăreanu, Corina S. (editor) — Software Engineering and Formal Methods: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

K. C. Sivaramakrishnan, Lukasz Ziarek (auth.), Matthew Flatt, Hai-Feng Guo (eds.) — Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings

Michael Hanus, Ricardo Rocha (eds.) — Declarative Programming and Knowledge Management: Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Wen-tsun Wu (auth.), Atsushi Ohori (eds.) — Programming Languages and Systems: First Asian Symposium, APLAS 2003, Beijing, China, November 27-29, 2003. Proceedings

Ehud Shapiro (auth.), Roberto Giacobazzi (eds.) — Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings

Giocobazzi R. — Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.) — Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach (auth.), Radhia Cousot (eds.) — Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11–13, 2003 Proceedings

Thomas Reps (auth.), Manuel V. Hermenegildo, Germán Puebla (eds.) — Static Analysis: 9th International Symposium, SAS 2002 Madrid, Spain, September 17–20, 2002 Proceedings

Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.) — Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

Daniel Jackson (auth.), Jens Palsberg (eds.) — Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 1, 2000. Proceedings

David A. Schmidt (auth.), Alan Mycroft (eds.) — Static Analysis: Second International Symposium, SAS '95 Glasgow, UK, September 25–27, 1995 Proceedings

Lambert Meertens (auth.), Herbert Kuchen, S. Doaitse Swierstra (eds.) — Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.) — Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.) — Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Patrick Cousot (auth.), Berthe Y. Choueiry, Toby Walsh (eds.) — Abstraction, Reformulation, and Approximation: 4th International Symposium, SARA 2000 Horseshoe Bay, USA, July 26–29, 2000 Proceedings

Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.) — Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf (auth.), Irina Virbitskaite, Andrei Voronkov (eds.) — Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers

Frank Tip (auth.), Hanne Riis Nielson, Gilberto Filé (eds.) — Static Analysis: 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings

Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.) — Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Kenneth L. McMillan (auth.), Eran Yahav (eds.) — Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings

Najčešći pojmovi