Εμφανίζονται 181 - 200 Αποτελέσματα από 238 για την αναζήτηση '"program analysis"', χρόνος αναζήτησης: 0,75δλ Περιορισμός αποτελεσμάτων
  1. 181
    Programming Languages and Systems 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
    Έκδοση 2003
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 182
    Static Analysis 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…-effective estimation of uncaught exceptions in SML programs -- Program analysis using mixed term and set…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 183
    Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
    Έκδοση 2002
    Πίνακας περιεχομένων: “…Static Program Analysis via 3-Valued Logic -- Open Modeling in Multi-stakeholder Distributed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 184
    Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /
    Έκδοση 2004
    Πίνακας περιεχομένων: “…Rob Tristan Gerth: 1956–2003 -- Static Program Analysis via 3-Valued Logic -- Deductive…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 185
    Reliable Software Technologies – Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… for Errors and Vulnerabilities in the Linux Kernel Source Code -- Bauhaus – A Tool Suite for Program Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 186
    Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings /
    Έκδοση 2017
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 187
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… and Their Applications in Program Analysis.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 188
    Interactive Theorem Proving 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
    Έκδοση 2013
    Πίνακας περιεχομένων: “… with Tests and Coq Tools for while Programs.-Program Analysis and Verification Based on Kleene Algebra…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 189
    Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings /
    Έκδοση 2013
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 190
    Compiler Optimizations for Scalable Parallel Systems Languages, Compilation Techniques, and Run Time Systems /
    Έκδοση 2001
    Πίνακας περιεχομένων: “… in Object-Oriented Programs -- Analysis -- Loop Parallelization Algorithms -- Array Dataflow Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 191
    Functional and Logic Programming 4th Fuji International Symposium, FLOPS'99 Tsukuba, Japan, November 11-13, 1999 Proceedings /
    Έκδοση 1999
    Πίνακας περιεχομένων: “… Narrowing -- Typed Higher-Order Narrowing without Higher-Order Strategies -- A Semantics for Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 192
    Beginning x64 Assembly Programming From Novice to AVX Professional /
    ανά Van Hoey, Jo, Van Hoey, Jo
    Έκδοση 2019
    Πίνακας περιεχομένων: “…. Program Analysis with a Debugger: gdb -- 4. Your Next Program: Alife and Kicking! -- 5. Assembly is based…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 193
    Compiler Construction 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “…Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 194
    ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… and Dynamic Object Model -- Efficient Multimethods in a Single Dispatch Language -- Program Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 195
    Static Analysis 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… Abstraction Refinements -- Guided Static Analysis -- Program Analysis Using Symbolic Ranges -- Shape Analysis…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 196
    Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings /
    Έκδοση 1997
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 197
    Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings /
    Έκδοση 1998
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 198
    Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Program Analysis -- Real-Time and Mobility -- Reachability Analysis of Mobile Ambients in Fragments of AC…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 199
    Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Program Analysis and Accurate Data Types in Usage Analysis -- Session 5 -- A Modal Language for the Safety…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 200
    Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
    Έκδοση 2006
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email