Showing 81 - 100 results of 238 for search '"program analysis"', query time: 0.08s Refine Results
  1. 81
    Concrete Semantics With Isabelle/HOL /
    by Nipkow, Tobias, Klein, Gerwin
    Published 2014
    Table of Contents: “… -- Types -- Program Analysis -- Denotational Semantics -- Hoare Logic -- Abstract Interpretation -- App. A…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 82
    Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
    Published 2016
    Table of Contents: “… -- Program Analysis -- A Sketching-Based Approach for Debugging Using Test Cases -- Polynomial Invariants…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 83
    Fundamental Approaches to Software Engineering 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Published 2009
    Table of Contents: “… and Introspection for Non-deterministic Queries in Mobile Networks -- Tools (Demos) and Program Analysis -- hol…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 84
    Distributed and Parallel Systems Cluster and Grid Computing /
    Published 2005
    Table of Contents: “… Environment -- Tools for Scalable Parallel Program Analysis - Vampir NG and DeWiz -- Process Migration…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 85
    Programming Languages and Systems 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  6. 86
    Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  7. 87
    Compiler Construction 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  8. 88
    Logic and Program Semantics Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  9. 89
    Multicore Software Engineering, Performance, and Tools International Conference, MSEPT 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
    Published 2012
    Full Text via HEAL-Link
    Electronic eBook
  10. 90
    Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings /
    Published 2016
    Table of Contents: “…Abstraction, refinement and evolution -- Formal specification and modeling -- Program analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 91
    Programming Languages and Systems 11th European Symposium on Programming, ESOP 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Proceedings /
    Published 2002
    Table of Contents: “…-Order Trees -- Program Analysis: Applications -- Tool Support for Improving Test Coverage -- Data Space…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 92
    Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Generation for Programs with Pointers -- Specification Mining with Few False Positives -- Program Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 93
    Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
    Published 2015
    Full Text via HEAL-Link
    Electronic eBook
  14. 94
    Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
    Published 2006
    Table of Contents: “… in Partial Evaluation of Logic Programs with Impure Predicates -- Software Development and Program Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 95
    Compiler Construction 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  16. 96
    Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
    Published 2014
    Full Text via HEAL-Link
    Electronic eBook
  17. 97
    Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings /
    Published 2011
    Full Text via HEAL-Link
    Electronic eBook
  18. 98
    Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification /
    by Gamatie, Abdoulaye
    Published 2010
    Table of Contents: “… programs -- Formal Semantics -- Formal Model for Program Analysis -- Compilation of Programs -- Advanced…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 99
    Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings /
    Published 2002
    Table of Contents: “… -- Adding Design by Contract to the Ada Language -- Program Analysis -- Static Dependency Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 100
    Programming Languages and Systems 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings /
    Published 2001
    Table of Contents: “… and CPS -- Enforcing Safety Properties Using Type Specialization -- Semantics and Program Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search