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
Compositional Entailment Checking for a Fragment of Separation Logic
Programming Languages and Systems, p.314-333
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Call-by-Value in a Basic Logic for Interaction
Programming Languages and Systems, p.428-448
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Translation of Intersection and Union Types for the λμ-Calculus
Programming Languages and Systems, p.120-139
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automatic Memory Management Based on Program Transformation Using Ownership
Programming Languages and Systems, p.58-77
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Syntax-Directed Divide-and-Conquer Data-Flow Analysis
Programming Languages and Systems, p.392-407
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Resource Analysis of Complex Programs with Cost Equations
Programming Languages and Systems, p.275-295
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Model-Checking for Android Malware Detection
Programming Languages and Systems, p.216-235
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
A Precise and Abstract Memory Model for C Using Symbolic Values
Programming Languages and Systems, p.449-468
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Automatic Constrained Rewriting Induction towards Verifying Procedural Programs
Programming Languages and Systems, p.334-353
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Necessary and Sufficient Preconditions via Eager Abstraction
Programming Languages and Systems, p.236-254
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A ZDD-Based Efficient Higher-Order Model Checking Algorithm
Programming Languages and Systems, p.354-371
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Inferring Grammatical Summaries of String Values
Programming Languages and Systems, p.372-391
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Simple and Efficient Algorithms for Octagons
Programming Languages and Systems, p.296-313
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Resource Protection Using Atomics: Patterns and Verification
Programming Languages and Systems, p.255-274
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Logic Programming and Logarithmic Space
Programming Languages and Systems, p.39-57
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
A Method for Scalable and Precise Bug Finding Using Program Analysis and Model Checking
Programming Languages and Systems, p.196-215
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
NetKAT — A Formal System for the Verification of Networks
Programming Languages and Systems, p.1-18
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Optimized Compilation of Multiset Rewriting with Comprehensions
Programming Languages and Systems, p.19-38
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The Essence of Ruby
Programming Languages and Systems, p.78-98
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Address Chain: Profiling Java Objects without Overhead in Java Heaps
Programming Languages and Systems, p.408-427
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Hereditary History-Preserving Bisimilarity: Logics and Automata
Programming Languages and Systems, p.469-488
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Types for Flexible Objects
Programming Languages and Systems, p.99-119
Link zum Volltext
Verfügbarkeit prüfen
Open Access
    Datensatz exportieren als...
  • BibTeX
Suppl: A Flexible Language for Policies
Programming Languages and Systems, p.176-195
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
The importance of minerals in the human diet
Handbook of Mineral Elements in Food, 2015, p.1-21
2015
Link zum Volltext
Verfügbarkeit prüfen
    Datensatz exportieren als...
  • BibTeX
Functional Pearl: Nearest Shelters in Manhattan
Programming Languages and Systems, p.159-175
Link zum Volltext
Verfügbarkeit prüfen
1 – 25 von 316
Suche als RSS-Feed
Aktive Filter
PublikationsformBuchkapitel
Suchergebnisse filtern
Filter anzeigen