1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
@INPROCEEDINGS{halbwachs94c,
AUTHOR={N. Halbwachs},
TITLE={About synchronous programming and abstract interpretation},
BOOKTITLE={International Symposium on Static Analysis, SAS'94},
EDITOR = {B. {LeCharlier}},
PUBLISHER = {LNCS 864, Springer Verlag},
ADDRESS = {Namur (belgium)},
MONTH = {September},
YEAR= 1994
}
@ARTICLE{lesartse,
AUTHOR = {N. Halbwachs and F. Lagnier and C. Ratel },
TITLE = {Programming and verifying real-time systems by means of
the synchronous data-flow programming language Lustre},
JOURNAL = {IEEE Transactions on Software Engineering,
Special Issue on the Specification and Analysis
of Real-Time Systems},
MONTH={September },
YEAR=1992
}
@INPROCEEDINGS{jhrsas99,
AUTHOR = {B. Jeannet and N. Halbwachs and P. Raymond},
TITLE={Dynamic Partitioning in Analyses of Numerical
Properties},
BOOKTITLE={Static Analysis Symposium, SAS'99},
address={Venezia (Italy)},
month = sep,
year=1999
}
\bibitem{cousotCousot79-1}
P. Cousot and R. Cousot.
\newblock Systematic design of program analysis frameworks.
\newblock In \emph{Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages}, pages 269--282, San
Antonio, Texas, 1979. ACM Press, New York, NY, U.S.A.
@inproceedings{cousotCousot79-1,
author = {Cousot, P. and Cousot, R.},
title = {Systematic design of program analysis frameworks},
pages = {269--282},
booktitle = {Conference Record of the Sixth Annual ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages},
address = {San Antonio, Texas},
publisher = {ACM Press, New York, NY},
year = 1979,
}
\bibitem{blanchetEtAl-PLDI03}
B{.} Blanchet, P{.} Cousot, R{.} Cousot, J{.} Feret, L{.} Mauborgne, A{.}
Min\'e, D{.} Monniaux, and X{.} Rival.
\newblock A Static Analyzer for Large Safety-Critical Software.
\newblock \emph{Proc{.} ACM SIGPLAN 2003 Conference on Programming Language
Design and Implementation} (PLDI'03), San Diego, California , USA, June
7--14, 2003, pp{.} 196--207. ACM Press, 2003.
@InProceedings{blanchetEtAl-PLDI03,
author = {B. Blanchet and P. Cousot and R. Cousot and J. Feret and
L. Mauborgne and A. Min\'e and D. Monniaux and X. Rival},
title = {A Static Analyzer for Large Safety-Critical Software},
pages = {196--207},
booktitle = {Proceedings of the ACM SIGPLAN 2003 Conference on Programming
Language Design and Implementation (PLDI'03)},
address = {San Diego, California, USA},
publisher = {ACM Press},
month = {June 7--14},
year = 2003,
}
|
