Generating all polynomial invariants in simple loops (Q2457430): Difference between revisions

From MaRDI portal
Changed an 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.1016/j.jsc.2007.01.002 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1971043610 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4693774 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3995106 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3999301 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Static Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4174789 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5690494 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inference Rules for Program Annotation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4144755 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Precise interprocedural analysis using random interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4417801 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Affine relationships among variables of a program / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logical analysis of programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5585021 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata, Languages and Programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computing polynomial program invariants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Precise interprocedural analysis through linear algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Static Analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic Generation of Polynomial Loop Invariants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theoretical Aspects of Computing - ICTAC 2004 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic generation of polynomial invariants of bounded degree using abstract interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-linear loop invariant generation using Gröbner bases / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4344108 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The synthesis of loop predicates / rank
 
Normal rank

Latest revision as of 10:37, 27 June 2024

scientific article
Language Label Description Also known as
English
Generating all polynomial invariants in simple loops
scientific article

    Statements

    Generating all polynomial invariants in simple loops (English)
    0 references
    0 references
    23 October 2007
    0 references
    loop invariant
    0 references
    ideal of polynomials
    0 references
    Gröbner basis
    0 references

    Identifiers