Niveau: Supérieur
« Specification and Abstraction of Semantics » Patrick Cousot Radhia Cousot École normale supérieure CNRS & École polytechnique 45 rue d'Ulm Route de Saclay 75230 Paris cedex 05, France 91128 Palaiseau Cedex, France A Tribute Workshop and Festival to Honor Neil D. Jones Datalogisk Institut, Københavns Universitet, København, Denmark— 25–26 August, 2007 Tribute to Neil, København, August 25th, 2007 — 1 — ? P. Cousot & R. Cousot Contents Souvenir, Souvenir . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Specification and abstraction of semantics Motivation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 Bi-inductive structural definitions . . . . . . . . . . . . . . . . . . . 13 Example: semantics of the eager –-calculus . . . . . .
- rue d'ulm route de saclay
- program analysis
- cousot
- based program
- cousot www
- radhia