UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 109

Sortiert nach

Automatic Analysis of Open Objects in Dynamic Language Programs

Static Analysis, 2014, p.134-150

2014

Volltextzugriff (PDF)

Selectively-Amortized Resource Bounding

Static Analysis, 2021, Vol.12913, p.286-307

2021

Volltextzugriff (PDF)

An Abstract Domain Combinator for Separately Conjoining Memory Abstractions

Static Analysis, 2014, p.285-301

2014

Volltextzugriff (PDF)

Lifting On-Demand Analysis to Higher-Order Languages

Static Analysis, p.460-484

Volltextzugriff (PDF)

Type-Directed Bounding of Collections in Reactive Programs

Verification, Model Checking, and Abstract Interpretation, 2019, Vol.11388, p.275-296

2019

Volltextzugriff (PDF)

Discriminating Traces with Time

Tools and Algorithms for the Construction and Analysis of Systems, p.21-37

Volltextzugriff (PDF)

Sharper and Simpler Nonlinear Interpolants for Program Verification

Programming Languages and Systems, p.491-513

Volltextzugriff (PDF)

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

Programming Languages and Systems, p.483-509

Volltextzugriff (PDF)

Refuting Heap Reachability

Verification, Model Checking, and Abstract Interpretation, p.137-141

Volltextzugriff (PDF)

Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets

Static Analysis, p.459-480

Volltextzugriff (PDF)

Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis

Static Analysis, p.27-47

Volltextzugriff (PDF)

QUIC Graphs: Relational Invariant Generation for Containers

ECOOP 2013 – Object-Oriented Programming, p.401-425

Volltextzugriff (PDF)

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers

Computer Aided Verification, p.866-873

Volltextzugriff (PDF)

Language Inclusion Algorithms as Complete Abstract Interpretations

Static Analysis, p.140-161

Volltextzugriff (PDF)

On the Monniaux Problem in Abstract Interpretation

Static Analysis, p.162-180

Volltextzugriff (PDF)

The Flow-Insensitive Precision of Andersen’s Analysis in Practice

Static Analysis, p.60-76

Volltextzugriff (PDF)

Responsibility Analysis by Abstract Interpretation

Static Analysis, p.368-388

Volltextzugriff (PDF)

A Temporal Logic for Higher-Order Functional Programs

Static Analysis, p.437-458

Volltextzugriff (PDF)

Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

Static Analysis, p.48-72

Volltextzugriff (PDF)

Separating Shape Graphs

Programming Languages and Systems, p.387-406

Volltextzugriff (PDF)

Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access

Programming Languages and Systems, p.301-320

Volltextzugriff (PDF)

Access Nets: Modeling Access to Physical Spaces

Verification, Model Checking, and Abstract Interpretation, p.184-198

Volltextzugriff (PDF)

A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls

Programming Languages and Systems, p.448-467

Volltextzugriff (PDF)

The Negligible and Yet Subtle Cost of Pattern Matching

Programming Languages and Systems, p.426-447

Volltextzugriff (PDF)

Decision Procedure for Entailment of Symbolic Heaps with Arrays

Programming Languages and Systems, p.169-189

Volltextzugriff (PDF)

1 – 25 von 109

Suche als RSS-Feed

Aktive Filter

KollektionSpringerLINK Contemporary (Konsortium Baden-Württemberg)

ThemaSoftware Engineering

PublikationsformBuchkapitel

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(30)
Mit Volltextzugriff
(109)

Sprache

Englisch
(109)
Japanisch
(1)

Erscheinungsjahr

n.n

Thema

Computer Science
(27)
Science & Technology
(27)
Technology
(27)
Computer Science, Theory & Methods
(25)
Computer Science, Software Engineering
(17)
Logic
(11)
Science & Technology - Other Topics
(11)
Mathematics
(8)
Mathematics, Applied
(8)
Physical Sciences
(8)
Abstract Domain
(6)
Abstract Interpretation
(5)
Base Domain
(2)
Concrete State
(2)
Execution Trace
(2)
Model Check
(2)
Open Object
(2)
Separation Logic
(2)
Access Control
(1)
Access Control Policy
(1)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

Ebook Central Perpetual and DDA
(78)
eBooks on EBSCOhost
(78)
Ingenta
(33)
HEAL-Link subscriptions: Springer Book Series
(33)

Menü

Weitere Dienste

Einstellungen

Automatic Analysis of Open Objects in Dynamic Language Programs

Selectively-Amortized Resource Bounding

An Abstract Domain Combinator for Separately Conjoining Memory Abstractions

Lifting On-Demand Analysis to Higher-Order Languages

Type-Directed Bounding of Collections in Reactive Programs

Discriminating Traces with Time

Sharper and Simpler Nonlinear Interpolants for Program Verification

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

Refuting Heap Reachability

Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets

Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis

QUIC Graphs: Relational Invariant Generation for Containers

QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers

Language Inclusion Algorithms as Complete Abstract Interpretations

On the Monniaux Problem in Abstract Interpretation

The Flow-Insensitive Precision of Andersen’s Analysis in Practice

Responsibility Analysis by Abstract Interpretation

A Temporal Logic for Higher-Order Functional Programs

Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis

Separating Shape Graphs

Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access

Access Nets: Modeling Access to Physical Spaces

A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls

The Negligible and Yet Subtle Cost of Pattern Matching

Decision Procedure for Entailment of Symbolic Heaps with Arrays

Aktive Filter

Suchergebnisse filtern