-
3
-
-
77951617702
-
-
IWACO 2007, July
-
Barnett, M., Fändrich, M., Garbervetsky, D., Logozzo, F.: Annotations for (more) precise points-to analysis. In: IWACO 2007 (July 2007).
-
(2007)
Annotations For (more) Precise Points-to Analysis
-
-
Barnett, M.1
Fändrich, M.2
Garbervetsky, D.3
Logozzo, F.4
-
4
-
-
0038039865
-
-
PLDI'03. ACM Press, New York
-
Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: PLDI'03. ACM Press, New York (2003).
-
(2003)
A Static Analyzer For Large Safety-critical Software
-
-
Blanchet, B.1
Cousot, P.2
Cousot, R.3
Feret, J.4
Mauborgne, L.5
Miné, A.6
Monniaux, D.7
Rival, X.8
-
8
-
-
33745922457
-
The calculational design of a generic abstract interpreter
-
NATO ASI Series F. IOS Press, Amsterdam
-
Cousot, P.: The calculational design of a generic abstract interpreter. In: Calculational System Design. NATO ASI Series F. IOS Press, Amsterdam (1999).
-
(1999)
Calculational System Design
-
-
Cousot, P.1
-
11
-
-
0000911801
-
Abstract interpretation and application to logic programs
-
Cousot P., Cousot R.: Abstract interpretation and application to logic programs. J. Logic Program. 13(2-3), 103-179 (1992).
-
(1992)
J. Logic Program.
, vol.13
, Issue.2-3
, pp. 103-179
-
-
Cousot, P.1
Cousot, R.2
-
12
-
-
49949103829
-
-
ASIAN'06. LNCS, Springer, Berlin
-
Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: Combination of abstractions in the ASTRÉE static analyzer. In: ASIAN'06. LNCS, vol. 4435, pp. 272-300. Springer, Berlin (2006).
-
(2006)
Combination of Abstractions In the ASTRÉE Static Analyzer
, vol.4435
, pp. 272-300
-
-
Cousot, P.1
Cousot, R.2
Feret, J.3
Mauborgne, L.4
Miné, A.5
Monniaux, D.6
Rival, X.7
-
17
-
-
47249102848
-
-
TACAS'08
-
Gulavani, B. S., Chakraborty, S., Nori, A. V., Rajamani, S. K.: Automatically refining abstract interpretations. In: TACAS'08 (2008).
-
(2008)
Automatically Refining Abstract Interpretations
-
-
Gulavani, B.S.1
Chakraborty, S.2
Nori, A.V.3
Rajamani, S.K.4
-
18
-
-
84865647096
-
-
POPL'08. ACM Press, New York
-
Gulwani, S., McCloskey, B., Tiwari, A.: Lifting abstract interpreters to quantified logical domains. In: POPL'08. ACM Press, New York (2008).
-
(2008)
Lifting Abstract Interpreters to Quantified Logical Domains
-
-
Gulwani, S.1
McCloskey, B.2
Tiwari, A.3
-
20
-
-
0016881880
-
On affine relationships among variables of a program
-
Karr M.: On affine relationships among variables of a program. Acta Inform. 6(2), 133-151 (1976).
-
(1976)
Acta Inform.
, vol.6
, Issue.2
, pp. 133-151
-
-
Karr, M.1
-
21
-
-
33244481330
-
-
SODA'06
-
Khachiyan, L., Boros, E., Borys, K., Elbassioni, K. M., Gurvich, M.: Generating all vertices of a polyhedron is hard. In: SODA'06 (2006).
-
(2006)
Generating All Vertices of a Polyhedron is Hard
-
-
Khachiyan, L.1
Boros, E.2
Borys, K.3
Elbassioni, K.M.4
Gurvich, M.5
-
32
-
-
33751098295
-
Automatic generation of polynomial invariants of bounded degree using abstract interpretation
-
Rodríguez-Carbonell E., Kapur D.: Automatic generation of polynomial invariants of bounded degree using abstract interpretation. Sci. Comput. Program. 64(1), 54-75 (2007).
-
(2007)
Sci. Comput. Program.
, vol.64
, Issue.1
, pp. 54-75
-
-
Rodríguez-Carbonell, E.1
Kapur, D.2
-
37
-
-
4243066295
-
Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time
-
Spielman D. A., Teng S.-H.: Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time. J. ACM 51(3), 385-463 (2004).
-
(2004)
J. ACM
, vol.51
, Issue.3
, pp. 385-463
-
-
Spielman, D.A.1
Teng, S.-H.2
|