Εμφανίζονται 61 - 80 Αποτελέσματα από 238 για την αναζήτηση '"program analysis"', χρόνος αναζήτησης: 0,10δλ Περιορισμός αποτελεσμάτων
  1. 61
    Software Engineering and Formal Methods 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings /
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 62
    Formal Methods An Appetizer /
    Πίνακας περιεχομένων: “…Program Graphs -- Guarded Commands -- Program Verification -- Program Analysis -- Language-Based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 63
    Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 64
    Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures /
    Έκδοση 2010
    Πίνακας περιεχομένων: “…Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 65
    Programming Languages and Systems 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… -- Program Analysis -- Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 66
    From Reactive Systems to Cyber-Physical Systems Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
    Έκδοση 2019
    Πίνακας περιεχομένων: “…Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 67
    Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 68
    Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
    Έκδοση 2015
    Πίνακας περιεχομένων: “… Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 69
    Static Analysis 5th International Symposium, SAS'98, Pisa, Italy, September 14-16, 1998, Proceedings /
    Έκδοση 1998
    Πίνακας περιεχομένων: “… -- Logic Programming -- Analysis of Normal Logic Programs -- The Correctness of Set-Sharing -- Deriving…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 70
    Theoretical Aspects of Computing – ICTAC 2014 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…, models and code -- Static and dynamic program analysis and verification -- Software specification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 71
    Software Similarity and Classification
    ανά Cesare, Silvio, Xiang, Yang
    Έκδοση 2012
    Πίνακας περιεχομένων: “… Transformations and Obfuscations -- Formal Methods of Program Analysis -- Static Analysis of Binaries -- Dynamic…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 72
    Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… -- Verification and Program Analysis. A Theory of Monitors -- Contextual approximation and higher-order procedures…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 73
    Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “… Subgraph Control-Flow Information (short paper) -- Program Analysis -- Correlating Structured Inputs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 74
    Compiler Construction 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “…Invited Talk -- Developing a Foundation for Code Optimization -- Program Analysis -- Analyzing…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 75
    2020_Book_FoundationsOfSoftwareScienceAn.pdf
    Έκδοση 2020
    “… and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness…”
    Λήψη πλήρους κειμένου
  16. 76
    Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Έκδοση 2009
    Πίνακας περιεχομένων: “… Recursive Programs -- Program Analysis and Semantics -- Beyond Shapes: Lists with Ordered Data…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 77
    Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… -- Program Analysis -- Precise Null Pointer Analysis Through Global Value Numbering -- May-Happen-in-Parallel…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 78
    ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… Concurrent Reentrant Higher-Order Library -- Enabling Modularity and Re-use in Dynamic Program Analysis Tools…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 79
    Programming Languages and Systems 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings /
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 80
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “…Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email