Static analysis of arithmetical congruences (Q4729316): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1080/00207168908803778 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1997456729 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic translation of FORTRAN programs to vector form / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructive versions of Tarski's fixed point theorems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3856819 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5596313 / rank
 
Normal rank

Latest revision as of 09:33, 20 June 2024

scientific article; zbMATH DE number 4113948
Language Label Description Also known as
English
Static analysis of arithmetical congruences
scientific article; zbMATH DE number 4113948

    Statements

    Static analysis of arithmetical congruences (English)
    0 references
    0 references
    1989
    0 references
    abstract interpretation
    0 references
    semantic analysis
    0 references
    automatic programming
    0 references
    optimization
    0 references
    invariants
    0 references
    mechanical verification
    0 references
    operational semantics
    0 references
    automatic vectorization
    0 references

    Identifiers