University of Cambridge > Talks.cam > SANDWICH Seminar (Computer Laboratory) > The Denotational Semantics of SSA

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

The Denotational Semantics of SSA

Download to your calendar using vCal

If you have a question about this talk, please contact Ariadne Si Suo .

Static Single Assignment (SSA) form has been a dominant compiler intermediate representation for decades, yet it is often treated only informally. To support more rigorous reasoning about SSA , we present an inductive formulation of SSA that can be equipped with a type theory robust enough to validate a variety of control-flow and data-flow transformations. We then define a categorical semantics for SSA and show that our type theory is sound and complete with respect to this semantics.

This talk is part of the SANDWICH Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Cambridge Institute of Public Health, Large Seminar Room (First Floor), Forvie Site, Robinson Way. CB2 0SR Alison Richard Building (ARB), 7 West Road, Room 138 Average on weekdays: 9144.69097222 kWh

Other talks

Non-stationarity in structural dynamics, challenges and implications for modelling and structural health monitoring Title TBC The organisational management of traumatic stress Title to be confirmed Discovery Investigations: Science, Empire and the Making of the British South Atlantic TBC
 

Š 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity