Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Cousot, Radhia"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Theories, solvers and static analysis by abstract interpretation
Patrick Cousot
,
Radhia Cousot
,
Laurent Mauborgne
Journal of the ACM
59
(6), 2012, pp. 31: 1-56
Grammar semantics, analysis and parsing by abstract interpretation
Patrick Cousot
,
Radhia Cousot
Theoretical Computer Science
412
(44), 2011, pp. 6135-6192
Abstract interpretation of resolution-based semantics
Patrick Cousot
,
Radhia Cousot
,
Roberto Giacobazzi
Theoretical Computer Science
410
(46), 2009, pp. 4724-4746
Bi-inductive structural semantics
Patrick Cousot
,
Radhia Cousot
Information and Computation
207
(2), 2009, pp. 258-283
Parsing as abstract interpretation of grammar semantics
Patrick Cousot
,
Radhia Cousot
Theoretical Computer Science
290
(1), 2003, pp. 531-544
A language independent proof of the soundness and completeness of generalized Hoare logic
Patrick Cousot
,
Radhia Cousot
Information and Computation
80
(2), 1989, pp. 165-191