Static analysis of arithmetical congruences

In this paper, a new kind of static (or semantic) analysis is defined: congruence analysis, which is conceived to discover the properties of the following type: "the integer valued variable X is congruent to c modulo m", where c and m are automatically determined integers. This analysis is...

Celý popis

Podrobná bibliografie

Vydáno v:	International journal of computer mathematics Ročník 30; číslo 3-4; s. 165 - 190
Hlavní autor:	Granger, Philippe
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Abingdon Gordon and Breach Science Publishers 01.01.1989 Taylor and Francis
Témata:	Abstract interpretation Applied sciences automatic vectorization Computer science; control theory; systems D.1.2 [Programming Techniques]: Automatic Programming D.3.4 [Processors]: Optimization Exact sciences and technology F.3.1 [Specifying and Verifying and Reasoning about Programs]: Invariants, Mechanical Verification F.3.2. [Semantics of Programming Languages]: Operational Semantics Programming theory semantic analysis Theoretical computing
ISSN:	0020-7160, 1029-0265
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!