-
1
-
-
0022790136
-
Countable nondeterminism and random assignment
-
Apt K.R., Plotkin G.D. Countable nondeterminism and random assignment. J. ACM. 33:(4):1986;724-767.
-
(1986)
J. ACM
, vol.33
, Issue.4
, pp. 724-767
-
-
Apt, K.R.1
Plotkin, G.D.2
-
3
-
-
84957363964
-
Powerful techniques for the automatic generation of invariants
-
Proc. of the 8th International Conference on Computer Aided Verification, CAV 1996. Berlin: Springer-Verlag
-
Bensalem S., Lakhnech Y., Saidi H. Powerful techniques for the automatic generation of invariants. Proc. of the 8th International Conference on Computer Aided Verification. CAV 1996 Lecture Notes in Comput. Sci. vol. 1102:1996;323-335 Springer-Verlag, Berlin.
-
(1996)
Lecture Notes in Comput. Sci.
, vol.1102
, pp. 323-335
-
-
Bensalem, S.1
Lakhnech, Y.2
Saidi, H.3
-
4
-
-
0031079312
-
Automatic generation of invariants and intermediate assertions
-
Bjørner N., Browne A., Manna Z. Automatic generation of invariants and intermediate assertions. Theoret. Comput. Sci. 173:(1):1997;49-87.
-
(1997)
Theoret. Comput. Sci.
, vol.173
, Issue.1
, pp. 49-87
-
-
Bjørner, N.1
Browne, A.2
Manna, Z.3
-
5
-
-
18944390494
-
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
-
Cousot P. Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Electron. Notes Theoret. Comput. Sci. vol. 6:1997; www.elsevier.nl/locate/entcs/volume6.html.
-
(1997)
Electron. Notes Theoret. Comput. Sci.
, vol.6
-
-
Cousot, P.1
-
8
-
-
0016881880
-
Affine relationships among variables of a program
-
Karr M. Affine relationships among variables of a program. Acta Inform. 6:1976;133-151.
-
(1976)
Acta Inform.
, vol.6
, pp. 133-151
-
-
Karr, M.1
-
9
-
-
0004536792
-
The supervisory control problem of discrete event systems using polynomial methods
-
INRIA Rennes, October
-
H. Marchand, M. le Borgne, The supervisory control problem of discrete event systems using polynomial methods, Technical Report 3790, INRIA Rennes, October 1999.
-
(1999)
Technical Report
, vol.3790
-
-
Marchand, H.1
Le Borgne, M.2
-
10
-
-
84945284307
-
The complexity of constant propagation
-
10th European Symposium on Programming, ESOP. Berlin: Springer-Verlag
-
Müller-Olm M., Rüthing O. The complexity of constant propagation. 10th European Symposium on Programming. ESOP Lecture Notes in Comput. Sci. vol. 2028:2001;190-205 Springer-Verlag, Berlin.
-
(2001)
Lecture Notes in Comput. Sci.
, vol.2028
, pp. 190-205
-
-
Müller-Olm, M.1
Rüthing, O.2
-
11
-
-
84958740430
-
Polynomial constants are decidable
-
9th Static Analysis Symposium (SAS), Berlin: Springer-Verlag
-
Müller-Olm M., Seidl H. Polynomial constants are decidable. 9th Static Analysis Symposium (SAS). Lecture Notes in Comput. Sci. vol. 2477:2002;4-19 Springer-Verlag, Berlin.
-
(2002)
Lecture Notes in Comput. Sci.
, vol.2477
, pp. 4-19
-
-
Müller-Olm, M.1
Seidl, H.2
-
13
-
-
2442628335
-
Precise interprocedural analysis through linear algebra
-
Italy: Venice
-
Müller-Olm M., Seidl H. Precise interprocedural analysis through linear algebra. Proc. 31st POPL. 2004;330-341 Venice, Italy.
-
(2004)
Proc. 31st POPL
, pp. 330-341
-
-
Müller-Olm, M.1
Seidl, H.2
-
14
-
-
84976695508
-
Symbolic evaluation and the global value graph
-
Los Angeles, CA, January
-
Reif J.R., Lewis H.R. Symbolic evaluation and the global value graph. Proc. 4th POPL, Los Angeles, CA. January 1977;104-118.
-
(1977)
Proc. 4th POPL
, pp. 104-118
-
-
Reif, J.R.1
Lewis, H.R.2
-
15
-
-
2442424185
-
Non-linear loop invariant generation using Gröbner bases
-
Italy: Venice
-
Sankaranarayanan S., Sipma H., Manna Z. Non-linear loop invariant generation using Gröbner bases. Proc. 31st POPL. 2004;318-329 Venice, Italy.
-
(2004)
Proc. 31st POPL
, pp. 318-329
-
-
Sankaranarayanan, S.1
Sipma, H.2
Manna, Z.3
|