-
61
-
62Πίνακας περιεχομένων: “…Program Graphs -- Guarded Commands -- Program Verification -- Program Analysis -- Language-Based…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
63Έκδοση 2014Πίνακας περιεχομένων: “…Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
64Έκδοση 2010Πίνακας περιεχομένων: “…Probabilistic Semantics and Program Analysis -- Measurement-Based and Universal Blind Quantum…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
65Έκδοση 2009Πίνακας περιεχομένων: “… -- Program Analysis -- Large Spurious Cycle in Global Static Analyses and Its Algorithmic Mitigation…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
66Έκδοση 2019Πίνακας περιεχομένων: “…Analysis of Complex Biological Systems -- Program Analysis -- Synthesis of Models, Parameters…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
67Έκδοση 2010Πίνακας περιεχομένων: “… -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
68Έκδοση 2015Πίνακας περιεχομένων: “… Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
69Έκδοση 1998Πίνακας περιεχομένων: “… -- Logic Programming -- Analysis of Normal Logic Programs -- The Correctness of Set-Sharing -- Deriving…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
70Έκδοση 2014Πίνακας περιεχομένων: “…, models and code -- Static and dynamic program analysis and verification -- Software specification…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
71Πίνακας περιεχομένων: “… Transformations and Obfuscations -- Formal Methods of Program Analysis -- Static Analysis of Binaries -- Dynamic…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
72Έκδοση 2016Πίνακας περιεχομένων: “… -- Verification and Program Analysis. A Theory of Monitors -- Contextual approximation and higher-order procedures…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
73Έκδοση 2016Πίνακας περιεχομένων: “… Subgraph Control-Flow Information (short paper) -- Program Analysis -- Correlating Structured Inputs…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
74Έκδοση 2004Πίνακας περιεχομένων: “…Invited Talk -- Developing a Foundation for Code Optimization -- Program Analysis -- Analyzing…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
75Έκδοση 2020“… and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness…”
Λήψη πλήρους κειμένου
-
76Έκδοση 2009Πίνακας περιεχομένων: “… Recursive Programs -- Program Analysis and Semantics -- Beyond Shapes: Lists with Ordered Data…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
77Έκδοση 2017Πίνακας περιεχομένων: “… -- Program Analysis -- Precise Null Pointer Analysis Through Global Value Numbering -- May-Happen-in-Parallel…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
78Έκδοση 2013Πίνακας περιεχομένων: “… Concurrent Reentrant Higher-Order Library -- Enabling Modularity and Re-use in Dynamic Program Analysis Tools…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο -
79
-
80Έκδοση 2005Πίνακας περιεχομένων: “…Invited Talks -- Randomized Algorithms for Program Analysis and Verification -- Validating a Modern…”
Full Text via HEAL-Link
Ηλεκτρονική πηγή Ηλ. βιβλίο