Inter-procedural Two-Variable Herbrand Equalities (Q2802449): Difference between revisions
From MaRDI portal
EloiFerrer (talk | contribs) Changed label, description and/or aliases in en, and other parts |
EloiFerrer (talk | contribs) Merged Item from Q2985127 |
||||||||||||||
description / en | description / en | ||||||||||||||
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 / 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 |
Revision as of 10:03, 6 May 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