-
2
-
-
85050550846
-
Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fix-points
-
[CC77]
-
[CC77] P. Cousot and R. Cousot. Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fix-points. In POPL 1977, p. 238-252, 1977.
-
(1977)
POPL 1977
, pp. 238-252
-
-
Cousot, P.1
Cousot, R.2
-
3
-
-
85035003357
-
Automatic discovery of linear restraints among variables of a program
-
[CH78]
-
[CH78] P. Cousot and N. Halbwachs. Automatic Discovery of Linear Restraints among Variables of a Program. In POPL 1978, p. 84-97, 1978.
-
(1978)
POPL 1978
, pp. 84-97
-
-
Cousot, P.1
Halbwachs, N.2
-
6
-
-
0042741465
-
On the mechanical derivation of loop invariants
-
[CP93]
-
[CP93] R. Chadha and D. A. Plaisted. On the Mechanical Derivation of Loop Invariants. Journal of Symbolic Computation, 15(5-6):705-744, 1993.
-
(1993)
Journal of Symbolic Computation
, vol.15
, Issue.5-6
, pp. 705-744
-
-
Chadha, R.1
Plaisted, D.A.2
-
7
-
-
35248824647
-
Linear invariant generation using non-linear constraint solving
-
[CSS03] CAV 2003. Springer-Verlag
-
[CSS03] M. A. Colón, S. Sankaranarayanan, and H.B. Sipma. Linear Invariant Generation Using Non-Linear Constraint Solving. In CAV 2003, volume 2725 of LNCS, p. 420-432. Springer-Verlag, 2003.
-
(2003)
LNCS
, vol.2725
, pp. 420-432
-
-
Colón, M.A.1
Sankaranarayanan, S.2
Sipma, H.B.3
-
10
-
-
24644493664
-
Automatically generating loop invariants using quantifier elimination
-
[Kap03], Department of Computer Science, UNM
-
[Kap03] D. Kapur. Automatically Generating Loop Invariants using Quantifier Elimination. Technical Report TR-CS-2003-58, Department of Computer Science, UNM, 2003.
-
(2003)
Technical Report
, vol.TR-CS-2003-58
-
-
Kapur, D.1
-
12
-
-
0016881880
-
Affine relationships among variables of a program
-
[Kar76]
-
[Kar76] M. Karr. Affine Relationships Among Variables of a Program. Acta Informatica, 6:133-151, 1976.
-
(1976)
Acta Informatica
, vol.6
, pp. 133-151
-
-
Karr, M.1
-
14
-
-
25344473884
-
Computing polynomial program invariants
-
[MOS03]. Technical report, Fernuni Hagen. To appear in
-
[MOS03] M. Müller-Olm and H. Seidl. Computing Polynomial Program Invariants. Technical report, Fernuni Hagen, 2003. Num. 310. To appear in IPL.
-
(2003)
IPL
, Issue.310
-
-
Müller-Olm, M.1
Seidl, H.2
-
15
-
-
2442628335
-
Computing interprocedurally valid relations in affine programs
-
[MOS04]
-
[MOS04] M. Müller-Olm and H. Seidl. Computing Interprocedurally Valid Relations in Affine Programs. In POPL 2004, p. 330-341, 2004.
-
(2004)
POPL 2004
, pp. 330-341
-
-
Müller-Olm, M.1
Seidl, H.2
-
16
-
-
24644467596
-
An abstract interpretation approach for automatic generation of polynomial invariants
-
[RCK]. To appear in
-
[RCK] E. Rodríguez-Carbonell and D. Kapur. An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants. www.lsi.upc.es/~erodri. To appear in SAS'04.
-
SAS'04
-
-
Rodríguez-Carbonell, E.1
Kapur, D.2
-
17
-
-
27644494186
-
Automatic generation of polynomial loop invariants: Algebraic foundations
-
[RCK04]
-
[RCK04] E. Rodríguez-Carbonell and D. Kapur. Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations. In ISSAC'04, 2004.
-
(2004)
ISSAC'04
-
-
Rodríguez-Carbonell, E.1
Kapur, D.2
-
18
-
-
1342347994
-
Non-linear loop invariant generation using gröbner bases
-
[SSM04]
-
[SSM04] S. Sankaranarayanan, H. B. Sipma, and Z. Manna. Non-linear Loop Invariant Generation Using Gröbner Bases. In POPL 2004, p. 318-329, 2004.
-
(2004)
POPL 2004
, pp. 318-329
-
-
Sankaranarayanan, S.1
Sipma, H.B.2
Manna, Z.3
-
20
-
-
70350690461
-
SPASS version 2.0
-
+02] CADE-18. Springer-Verlag
-
+02] C. Weidenbach, U. Brahm, T. Hillenbrand, E. Keen, C. Theobald, and D. Topic. SPASS version 2.0. In CADE-18, volume 2392 of LNAI, p. 275-279, 2002. Springer-Verlag.
-
(2002)
LNAI
, vol.2392
, pp. 275-279
-
-
Weidenbach, C.1
Brahm, U.2
Hillenbrand, T.3
Keen, E.4
Theobald, C.5
Topic, D.6
-
21
-
-
0016557736
-
Property extraction in well-founded property sets
-
[Weg75], September
-
[Weg75] B. Wegbreit. Property Extraction in Well-founded Property Sets. IEEE Transactions on Software Engineering, 1(3):270-285, September 1975.
-
(1975)
IEEE Transactions on Software Engineering
, vol.1
, Issue.3
, pp. 270-285
-
-
Wegbreit, B.1
|