cs.nyu.edu/~pcousot

Preview meta tags from the cs.nyu.edu website.

Linked Hostnames

51

  • General Meta Tags

    6
    • title
      Patrick Cousot's Home Page at NYU
    • Keyword
      cousot,abstract interpretation,abstract, interpretation, abstract domain, static program analysis, static, program, analysis, semantics, algebraic semantics, relational semantics, operational semantics, compiler, compilation, verification, proof, invariant, inference, validation,syntax, program logic, hyperlogic
    • Description
      Home page of Patrick Cousot; Professor of computer science at the Courant Institute of the New York University, New York, NY, USA; specialist of abstract interpretation and its applications to the semantics and verification of computer programs by static analysis.
    • ROBOTS
      index, follow
    • rating
      General

  • Link Tags

    2
    • SHORTCUT ICON
      http://cs.nyu.edu/~pmc309/pict/baricone.ico
    • stylesheet
      style.css

Emails

1

Links

77