Εμφανίζονται 21 - 40 Αποτελέσματα από 238 για την αναζήτηση '"program analysis"', χρόνος αναζήτησης: 0,08δλ Περιορισμός αποτελεσμάτων
  1. 21
    Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
    Έκδοση 2017
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 22
    Tools and Methods of Program Analysis 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers /
    Έκδοση 2018
    Πίνακας περιεχομένων: “…Software test automation -- Static program analysis -- Verification -- Dynamic methods of program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 23
    Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
    Έκδοση 2008
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 24
    Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
    Έκδοση 2017
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 25
    Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis
    Έκδοση 2012
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 26
    Proceedings of the Fourth International Workshop on Mining Software Repositories
    Έκδοση 2007
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 27
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    Έκδοση 2007
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 28
    Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 2002
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 29
    Proceedings of the 5th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
    Έκδοση 2016
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 30
    Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
    Έκδοση 2015
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 31
    Proceedings of the 8th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis
    Έκδοση 2019
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 32
    Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools
    Έκδοση 2011
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 33
    Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 1999
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 34
    Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 35
    Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 2010
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 36
    Advanced Symbolic Analysis for Compilers New Techniques and Algorithms for Symbolic Program Analysis and Optimization /
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 37
    Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 38
    Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 2005
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 39
    Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “… and theoretical foundations -- Program analysis and verification -- Programming language design and implementation.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 40
    Variations on Constants Flow Analysis of Sequential and Parallel Programs /
    ανά Müller-Olm, Markus
    Έκδοση 2006
    Πίνακας περιεχομένων: “…-atomic Scenario -- 10. Conclusion -- A. A Primer on Constraint-Based Program Analysis.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email