Εμφανίζονται 1 - 20 Αποτελέσματα από 9.010 για την αναζήτηση '"program"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
    Έκδοση 2009
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 2007
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 3
    Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Έκδοση 2013
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  4. 4
    Proceedings of the 2008 workshop on Static analysis
    Έκδοση 2008
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  5. 5
    Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 2006
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  6. 6
    Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2004
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  7. 7
    Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming
    Έκδοση 2018
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  8. 8
    Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    Έκδοση 2014
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  9. 9
    Proceedings of the 3rd workshop on Programming languages meets program verification
    Έκδοση 2009
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  10. 10
    Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
    Έκδοση 2012
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  11. 11
    Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation
    Έκδοση 2015
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  12. 12
    Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 2001
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  13. 13
    Proceedings of the 4th international workshop on Types in language design and implementation
    Έκδοση 2009
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  14. 14
    Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
    Έκδοση 2014
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  15. 15
    Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis
    Έκδοση 2013
    Θέματα: “…Program analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  16. 16
    Proceedings of the 7th workshop on Programming languages meets program verification
    Έκδοση 2013
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  17. 17
    Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
    Έκδοση 2008
    Θέματα: “…Program reasoning…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  18. 18
    Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering
    Έκδοση 2016
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  19. 19
    Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Έκδοση 2005
    Θέματα: “…Program verification…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  20. 20
    Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
    Έκδοση 2008
    Θέματα: “…Program semantics…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email