Inter-procedural Two-Variable Herbrand Equalities (Q2802449): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||||||||||||||
(4 intermediate revisions by 3 users not shown) | |||||||||||||||
description / en | description / en | ||||||||||||||
scientific article | scientific article; zbMATH DE number 6715907 | ||||||||||||||
Property / zbMATH Open document ID | |||||||||||||||
Property / zbMATH Open document ID: 1398.68098 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / DOI | |||||||||||||||
Property / DOI: 10.23638/LMCS-13(2:5)2017 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / publication date | |||||||||||||||
16 May 2017
| |||||||||||||||
Property / publication date: 16 May 2017 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH DE Number | |||||||||||||||
Property / zbMATH DE Number: 6715907 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / OpenAlex ID | |||||||||||||||
Property / OpenAlex ID: W1531511464 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / arXiv ID | |||||||||||||||
Property / arXiv ID: 1410.4416 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
static analysis | |||||||||||||||
Property / zbMATH Keywords: static analysis / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
inter-procedural program analysis | |||||||||||||||
Property / zbMATH Keywords: inter-procedural program analysis / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
procedure summaries | |||||||||||||||
Property / zbMATH Keywords: procedure summaries / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / zbMATH Keywords | |||||||||||||||
Herbrand equalities | |||||||||||||||
Property / zbMATH Keywords: Herbrand equalities / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q5657644 / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Invariant Checking for Programs with Procedure Calls / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: The undecidability of the second-order unification problem / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Static Analysis / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Computing Procedure Summaries for Interprocedural Analysis / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: A polynomial algorithm for deciding bisimilarity of normed context-free processes / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: An axiomatic basis for computer programming / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Context Unification is in PSPACE / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Algorithmics on SLP-compressed strings: A survey / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Grammar-Based Tree Compression / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Maintaining dynamic sequences under equality tests in polylogarithmic time / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Interprocedurally Analyzing Polynomial Identities / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Precise interprocedural analysis through linear algebra / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Upper Adjoints for Fast Inter-procedural Variable Equalities / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Programming Languages and Systems / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Inter-procedural Two-Variable Herbrand Equalities / rank | |||||||||||||||
Normal rank | |||||||||||||||
Property / cites work | |||||||||||||||
Property / cites work: Q4038674 / rank | |||||||||||||||
Normal rank |
Latest revision as of 20:20, 13 July 2024
scientific article; zbMATH DE number 6715907
Language | Label | Description | Also known as |
---|---|---|---|
English | Inter-procedural Two-Variable Herbrand Equalities |
scientific article; zbMATH DE number 6715907 |
Statements
Inter-procedural Two-Variable Herbrand Equalities (English)
0 references
26 April 2016
0 references
16 May 2017
0 references
static analysis
0 references
inter-procedural program analysis
0 references
procedure summaries
0 references
Herbrand equalities
0 references