Showing 41 - 60 results of 238 for search '"program analysis"', query time: 0.09s Refine Results
  1. 41
    Logic-Based Program Synthesis and Transformation 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
    Published 2019
    Table of Contents: “…Analysis of term rewriting -- Logic-based distributed/concurrent programming -- Analysis of logic…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 42
    Software Verification and Analysis An Integrated, Hands-On Approach /
    by Stanley, William, Laski, Janusz
    Published 2009
    Table of Contents: “… -- Dynamic Analysis -- Is There a Bug in the Program? Structural Program Testing -- Dynamic Program Analysis.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 43
    Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
    Published 2015
    Table of Contents: “…Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 44
    Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
    Published 2016
    Table of Contents: “…Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 45
    Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
    Published 2016
    Table of Contents: “…Probabilistic systems -- Synthesis -- Constraint solving -- Model checking -- Program analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 46
    Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
    Published 2016
    Table of Contents: “…, synthesis and transformation -- Program analysis, verification, and model-checking -- Logic, constraint…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 47
    Dependable Software Engineering. Theories, Tools, and Applications Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
    Published 2017
    Table of Contents: “…Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 48
    The Essence of Computation Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones /
    Published 2002
    Table of Contents: “… -- Lambda Calculi and Linear Speedups -- Program Analysis -- Design and Implementation of a Special-Purpose…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 49
    Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012. Proceedings /
    Published 2012
    Table of Contents: “… Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 50
    Semantics with Applications: An Appetizer
    Table of Contents: “… -- Denotational Semantics -- More on Denotational Semantics -- Program Analysis -- More on Program Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 51
    Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
    Published 2017
    Table of Contents: “…Probabilistic program analysis -- Ontologies in software engineering -- Empirical evaluation…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 52
    Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2-6, 2018, Proceedings /
    Published 2018
    Table of Contents: “…Types -- Program Analysis -- Tools -- Functional Programs and Probabilistic Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 53
    Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings /
    Published 2007
    Table of Contents: “… in Partitioned Memory Architectures -- Garbage Collection and Program Analysis -- Using Prefetching to Improve…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 54
    Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
    Published 2018
    Table of Contents: “…Specification -- Concurrency -- Program analysis -- Model checking and runtime verification…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 55
    Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings /
    Published 2019
    Table of Contents: “…Invited Papers -- Types -- Program Analysis -- Semantics -- Language Design and Implementation…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 56
    Algorithmic Differentiation of Pragma-Defined Parallel Regions Differentiating Computer Programs Containing OpenMP /
    by Förster, Michael
    Published 2014
    Table of Contents: “… Transformation -- Transformation rules for Parallel Code Regions (e.g. OpenMP 3.1) -- Static Program Analysis.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 57
    978-3-031-57262-3.pdf
    Published 2024
    “…; verification; program analysis; abstract interpretation.…”
    Get full text
  18. 58
    978-3-031-57267-8.pdf
    Published 2024
    “…; verification; program analysis; abstract interpretation.…”
    Get full text
  19. 59
    ECOOP 2004 – Object-Oriented Programming 18th European Conference, Oslo, Norway, June 14-18, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Encapsulation Policies -- Program Analysis -- Demand-Driven Type Inference with Subgoal Pruning: Trading…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 60
    String Analysis for Software Verification and Security
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search