"Static Program Analysis" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Static Program Analysis	Anders Møller, Michael I. Schwartzbach	2018	Aarhus University
Secure Programming with Static Analysis	Brian Chess, Jacob West	2007	Addison-Wesley Professional
Static Analysis of Software: The Abstract Interpretation	Jean-Louis Boulanger	2011	John Wiley & Sons
Static Analysis of Determinate and Indeterminate Structures	Kenneth Derucher; Chandrasekhar Putcha; Uksun Kim; Hota V.S. GangaRao	2022	Routledge
Introduction to Static Analysis Using SolidWorks Simulation	Radostina V. Petrova	2014	Routledge
A static analysis of a synchronous transformer	John Paul Kelsey	1972	Massachusetts Institute of Technology
Static Analysis: First International Static Analysis Symposium, SAS ' 94, Namur, Belgium, September 28 - 30, 1994. Proceedings	Baudouin LeCharlier	1994	Springer Berlin Heidelberg
Visualizing streaming data: interactive analysis beyond static limits.	Aragues, Anthony.	2018.	O'Reilly,
Principles of Structural Analysis: Static and Dynamic Loads	Krishnan Sathia	23 July 2014	Bentley Institute Press
Visualizing streaming data: interactive analysis beyond static limits	Aragues, Anthony	2018	O'Reilly Media
Subsonic lifting surface analysis with static aeroelastic effects	Larry Glenn Pearson	1972	Naval Postgraduate School
Static /		1996	Nono Girl and Squeaky,
Static	Ian Daley	October 23, 1998	Yorkshire Art Circus
Static	Amy Goodman	2006	Hyperion
Static Timing Analysis for Nanometer Designs: A Practical Approach	J. Bhasker; Rakesh Chadha	2009	Springer US
Surface Analysis of Polymers by XPS and Static SIMS	D. Briggs	1998-04	Cambridge University Press
MSC/NASTRAN linear static analysis: user's guide, version 68	John Caffrey	1994	MacNeal-Schwendler Corp.
Program budgeting; program analysis and federal budget	David Novick, David Novick	1965	Harvard University Press
Program budgeting; program analysis and federal budget.	David Novick	1965	Harvard University Press
Static Electrification	L.B. Loeb	1958	Springer Berlin Heidelberg
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Static Program Analysis		Encyclopedia of Cryptography and Security	Henk C.A. van Tilborg; Sushil Jajodia	2nd ed. 2011	Springer US
Static Program Analysis		Building Secure and Reliable Systems: Best Practices for Designing, Implementing, and Maintaining Systems	Heather Adkins; Betsy Beyer; Paul Blankinship; Ana Oprea; Piotr Lewandowski; Adam Stubblefield	2020	O'Reilly Media
Modular Static Program Analysis	Patrick Cousot; Radhia Cousot	Compiler Construction: 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings	R. Niegel Horspool	2002	Springer Berlin Heidelberg
Static. Program. Analysis. Methods	Stanislaw Jarzabek	Effective Software Maintenance and Evolution: A Reuse-Based Approach	Stanislaw Jarzabek	2007	Routledge
A1 Static Program Analysis		Advanced Linux programming	Mitchell, Mark; Samuel, Alex; Oldham, Jeffrey	2001;2003	Sams Publishing; New Riders
125 Static Program Analysis		Foundations of Databases: The Logical Level	Serge Abiteboul, Richard Hull, Victor Vianu	1994	Addison Wesley
Static Program Analysis for Security	Y.N. Srikant; Priti Shankar	The Compiler Design Handbook: Optimizations and Machine Code Generation, Second Edition	Rajib Mall; Y.N. Srikant; Priti Shankar; Uday Khedker; K. Gopinath; Sharad Malik; R. Govindarajan; Sanjay Rajopadhye; Evelyn Duesterwald; Rajiv Gupta; Robert Nigel Horspool; Ganga Bishnu Mund; Thomas Reps; Mooly Sagiv; Neelam Gupta; Andreas Krall; David August; Nikil Dutt; Amitabha Sanyal; Tulika Mitra; Abhik Roychoudhury; Aviral Shrivastava; Xiangyu Zhang; Easwaren Raman; K Anada Vardhan; Kapil Vaswani; P. J. Joseph; Mathew T. Jacob; Jens Palsberg; Todd Millstein; J Prakash Prabhu; Reinhard Wilhelm; Lakshminarayann Renganarayana; Gautam Gupta; Michelle Strout; Wei Qin; Subramanian Rajagopalan; Hongbo Rong; V Krishna Nandivada	2008	Routledge
Software Metrics in Static Program Analysis	Andreas Vogelsang; Ansgar Fehnker; Ralf Huuck; Wolfgang Reif	Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings	Jin Song Dong; Huibiao Zhu	2010	Springer Berlin Heidelberg
The Impact of Program Transformations on Static Program Analysis	Kedar S. Namjoshi; Zvonimir Pavlinovic	Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings	Andreas Podelski	1st ed. 2018	Springer International Publishing
Static Program Visualization		Software Visualization: Visualizing the Structure, Behaviour, and Evolution of Software	Stephan Diehl	2007	Springer Berlin Heidelberg
Static Program Partitioning	Constantine D. Polychronopoulos	Parallel Programming and Compilers	Constantine D. Polychronopoulos	1988	Springer US
Static Program Analysis via 3-Valued Logic	Thomas W. Reps; Mooly Sagiv; Reinhard Wilhelm	Computer Aided Verification: 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings	Rajeev Alur; Doron A. Peled	2004	Springer Berlin Heidelberg
Software Quality Assurance by Static Program Analysis	Reinhard Wilhelm	Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering: 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings	Dietmar Winkler; Stefan Biffl; Johannes Bergsmann	2014	Springer International Publishing
Symbiosis of Static Analysis and Program Testing	Michal Young	Fundamental Approaches to Software Engineering: 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings	Mauro Pezzè	2003	Springer Berlin Heidelberg
Static Program Analysis via 3-Valued Logic	Thomas Reps	Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings	Manuel Hermenegildo; German Puebla	2002	Springer Berlin Heidelberg
Quantitative Program Sketching using Lifted Static Analysis	Aleksandar S. Dimovski	Fundamental Approaches to Software Engineering: 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings	Einar Broch Johnsen; Manuel Wimmer	1st ed. 2022	Springer International Publishing
Static Program Analysis for Java Card Applets	Vasilios Almaliotis; Alexandros Loizidis; Panagiotis Katsaros; Panagiotis Louridas; Diomidis Spinellis	Smart Card Research and Advanced Applications: 8th IFIP WG 8. 8/11. 2 International Conference, CARDIS 2008, London, UK, September 8-11, 2008, Proceedings	Gilles Grimaud; François-Xavier Standaert	2008	Springer Berlin Heidelberg
Static Program Analysis as a Fuzzing Aid	Bhargava Shastry; Markus Leutner; Tobias Fiebig; Kashyap Thimmaraju; Fabian Yamaguchi; Konrad Rieck et al.	Research in Attacks, Intrusions, and Defenses: 20th International Symposium, RAID 2017, Atlanta, GA, USA, September 18–20, 2017, Proceedings	Marc Dacier; Michael Bailey; Michalis Polychronakis; Manos Antonakakis	1st ed. 2017	Springer International Publishing
Static analysis	David J. Smith	Achieving Quality Software: Including Its Application to Safety-Related Systems	D.J. Smith	3rd ed. 1995	Springer Netherlands
Static Analysis	David Brumley	Encyclopedia of Cryptography and Security	Henk C.A. van Tilborg; Sushil Jajodia	2nd ed. 2011	Springer US
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries