Stefan Schulze Frielinghaus und Inter-Procedural - Info zur Person

(1 - 5 von 5

)

[ ] Inter-procedural Two-Variable Herbrand Equalities

arxiv.org

Authors: Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl. (Submitted on 16 Oct (v1), last revised 10 May (this version, v3)). Abstract: We ...

Accepted Talks - Young Researchers' Conference "Frontiers of ...ffm2015.rwth-aachen.de › accepted.php.html

ffm2015.rwth-aachen.de

Stefan Schulze Frielinghaus. Inter-procedural Two-Variable Herbrand Equalities are in PTIME. Suvam Mukherjee. Efficient Shape Analysis of Multithreaded ...

# Inter-procedural Two-Variable Herbrand Equalities - Logical ...lmcs.episciences.org › ...

lmcs.episciences.org

Stefan Schulze Frielinghaus ; Michael Petter ; Helmut Seidl - Inter-procedural Two-Variable Herbrand Equalities. lmcs: Logical Methods in Computer ...

[PDF] Inter-procedural Two-Variable Herbrand Equalities | Semantic...

www.semanticscholar.org

It is proved that all valid Herbrand equalities can be inter-procedurally inferred for programs where all assignments whose right-hand sides depend on at most...

Alle Infos zum Namen "Stefan Schulze Frielinghaus"

Verwandte Suchanfragen zu Stefan Schulze Frielinghaus

Helmut Seidl
User Profile
Ralf Vogler

Stefan Schulze
Sabine Ignatiou
Michaela Schulze-Frielinghaus

Personen
Vorname "Stefan" (78868)
Name "Schulze Frielinghaus" (3)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Stefan Schulze Frielinghaus und Inter-Procedural Person-Info

[ ] Inter-procedural Two-Variable Herbrand Equalities

Accepted Talks - Young Researchers' Conference "Frontiers of ...ffm2015.rwth-aachen.de › accepted.php.html

# Inter-procedural Two-Variable Herbrand Equalities - Logical ...lmcs.episciences.org › ...

[PDF] Inter-procedural Two-Variable Herbrand Equalities | Semantic...

Alle Infos zum Namen "Stefan Schulze Frielinghaus"