Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Lifting On-Demand Analysis to Higher-Order Languages
Static Analysis, p.460-484
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Discriminating Traces with Time
Tools and Algorithms for the Construction and Analysis of Systems, p.21-37
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Sharper and Simpler Nonlinear Interpolants for Program Verification
Programming Languages and Systems, p.491-513
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Shape Analysis for Unstructured Sharing
Static Analysis, 2015, Vol.9291, p.90-108
2015
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages
Programming Languages and Systems, p.483-509
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Refuting Heap Reachability
Verification, Model Checking, and Abstract Interpretation, p.137-141
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
QUIC Graphs: Relational Invariant Generation for Containers
ECOOP 2013 – Object-Oriented Programming, p.401-425
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers
Computer Aided Verification, p.866-873
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Analysis of Low-Level Code Using Cooperating Decompilers
Lecture notes in computer science, 2006, p.318-335
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Flow-Insensitive Precision of Andersen’s Analysis in Practice
Static Analysis, p.60-76
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Separating Shape Graphs
Programming Languages and Systems, p.387-406
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access
Programming Languages and Systems, p.301-320
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Access Nets: Modeling Access to Physical Spaces
Verification, Model Checking, and Abstract Interpretation, p.184-198
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
Programming Languages and Systems, p.448-467
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
The Negligible and Yet Subtle Cost of Pattern Matching
Programming Languages and Systems, p.426-447
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Decision Procedure for Entailment of Symbolic Heaps with Arrays
Programming Languages and Systems, p.169-189
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Enforcing Programming Guidelines with Region Types and Effects
Programming Languages and Systems, p.85-104
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Compact Difference Bound Matrices
Programming Languages and Systems, p.471-490
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
A Computational Interpretation of Context-Free Expressions
Programming Languages and Systems, p.387-405
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Programming and Proving with Classical Types
Programming Languages and Systems, p.215-234
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Synthesizing SystemC Code from Delay Hybrid CSP
Programming Languages and Systems, p.21-41
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Temporal Verification of Programs via First-Order Fixpoint Logic
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
On the Monniaux Problem in Abstract Interpretation
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Organization
Static Analysis, 2019, Vol.11822
2019
Volltextzugriff (PDF)
1 – 25 von 100
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
ThemaScience & Technology - Other Topics
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen