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
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
    Datensatz exportieren als...
  • BibTeX
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings
1st Edition 2019, 2019
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Boogie : A modular reusable verifier for object-oriented programs
Lecture notes in computer science, 2006, p.364-387
2006
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Modular Construction of Shape-Numeric Analyzers
Electronic proceedings in theoretical computer science, 2013-01, Vol.129 (Festschrift for Dave Schmidt), p.161-185
2013
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
1st Edition 2017, 2017
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming by Examples: PL Meets ML
Programming Languages and Systems, p.3-20
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Lifting On-Demand Analysis to Higher-Order Languages
Static Analysis, p.460-484
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Sharper and Simpler Nonlinear Interpolants for Program Verification
Programming Languages and Systems, p.491-513
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Black-Box Equivalence Checking Across Compiler Optimizations
Programming Languages and Systems, p.127-147
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Safety and Liveness of MCS Lock—Layer by Layer
Programming Languages and Systems, p.273-297
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Bringing Order to the Separation Logic Jungle
Programming Languages and Systems, p.190-211
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Sound and Efficient Language-Integrated Query: Maintaining the ORDER
Programming Languages and Systems, p.364-383
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Implementing Algebraic Effects in C: Monads for Free in C
Programming Languages and Systems, p.339-363
Volltextzugriff (PDF)
    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)
Open Access
    Datensatz exportieren als...
  • BibTeX
Weakly Sensitive Analysis for Unbounded Iteration over JavaScript Objects
Programming Languages and Systems, p.148-168
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Verified Root-Balanced Trees
Programming Languages and Systems, p.255-272
Volltextzugriff (PDF)
Open Access
    Datensatz exportieren als...
  • BibTeX
Refuting Heap Reachability
Verification, Model Checking, and Abstract Interpretation, p.137-141
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
Programming Languages and Systems, p.448-467
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Taming Message-Passing Communication in Compositional Reasoning About Confidentiality
Programming Languages and Systems, p.45-66
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Decision Procedure for Entailment of Symbolic Heaps with Arrays
Programming Languages and Systems, p.169-189
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Automatically Generating Secure Wrappers for SGX Enclaves from Separation Logic Specifications
Programming Languages and Systems, p.105-123
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Nonstandard Functional Programming Language
Programming Languages and Systems, p.514-533
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Enforcing Programming Guidelines with Region Types and Effects
Programming Languages and Systems, p.85-104
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
Counterexample-Guided Bit-Precision Selection
Programming Languages and Systems, p.534-553
Volltextzugriff (PDF)
    Datensatz exportieren als...
  • BibTeX
A Computational Interpretation of Context-Free Expressions
Programming Languages and Systems, p.387-405
Volltextzugriff (PDF)
1 – 25 von 130
Suche als RSS-Feed
Aktive Filter
KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)
ThemaComputer Science, Software Engineering
ThemaTheory Of Computation -- Logic
Suchergebnisse filtern
Filter anzeigen