Showing 121 - 140 results of 238 for search '"program analysis"', query time: 0.08s Refine Results
  1. 121
    Interacting Code Motion Transformations: Their Impact and Their Complexity
    Full Text via HEAL-Link
    Electronic eBook
  2. 122
    Programs as Data Objects Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings /
    Published 2001
    Table of Contents: “…Invited Opening Talk -- Program Analysis for Implicit Computational Complexity -- Contributed…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 123
    Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers /
    Published 1997
    Table of Contents: “… of asynchronous distributed programs -- Analysis of Facile programs: A case study -- A non-standard semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 124
    978-3-030-99253-8.pdf
    Published 2022
    Get full text
  5. 125
    Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  6. 126
    Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings /
    Published 2013
    Full Text via HEAL-Link
    Electronic eBook
  7. 127
    Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 128
    Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings /
    Published 2006
    Table of Contents: “…: Instancewise Relational Abstract Domains -- Invited Talk -- Separation Logic and Program Analysis -- Beyond…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 129
    Programming Logics Essays in Memory of Harald Ganzinger /
    Published 2013
    Table of Contents: “… at Work -- Elimination Techniques for Program Analysis -- Narrowing Based Inductive Proof Search -- Inst…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 130
    Algorithmic Aspects in Information and Management 5th International Conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009. Proceedings /
    Published 2009
    Table of Contents: “… -- Efficiently Generating k-Best Solutions to Procurement Auctions -- Integer Polyhedra for Program Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 131
    Fundamentals of Software Engineering 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers /
    Published 2019
    Full Text via HEAL-Link
    Electronic eBook
  12. 132
    Verification and Validation in Systems Engineering Assessing UML/SysML Design Models /
    Full Text via HEAL-Link
    Electronic eBook
  13. 133
    Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
    Published 2008
    Table of Contents: “… for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 134
    Formal Languages and Compilation
    Full Text via HEAL-Link
    Electronic eBook
  15. 135
    1006838.pdf
    Published 2020
    “…, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems…”
    Get full text
  16. 136
    1006839.pdf
    Published 2020
    “…, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems…”
    Get full text
  17. 137
    Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports /
    Published 2007
    Table of Contents: “… Evolution -- Program Reasoning -- Formal Techniques for Java-Like Programs -- Program Analysis for Security…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 138
    Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings /
    Published 2018
    Table of Contents: “… in Automated Program Repair -- Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 139
    Positive Polynomials in Control
    Published 2005
    Table of Contents: “… of Squares Programming; Analysis of Non-polynomial Systems Using the Sum of Squares Decomposition; A Sum…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 140
    Computer Aided Verification 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007. Proceedings /
    Published 2007
    Table of Contents: “… and Hybrid Systems -- Hybrid Systems: From Verification to Falsification -- Session XV: Program Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search