On extracting static semantics

Research output: Contribution to journalConference articlepeer-review


We examine the problem of automatically extracting a static semantics from a language's semantic definition. Traditional approaches require manual construction of static and dynamic semantics, followed by a proof that the two are consistent. As languages become more complex, the static analyses also become more complex, and consistency proofs have typically been challenging. We need to find techniques for automatically constructing static analyses that are provably correct.

Original languageEnglish (US)
Pages (from-to)162-173
Number of pages12
JournalElectronic Notes in Theoretical Computer Science
StatePublished - Nov 2001
EventMFPS 2001, Seventeenth Conference on the Mathematical Foundations of Programming Semantics - Aarhus, Denmark
Duration: May 23 2001May 26 2001

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'On extracting static semantics'. Together they form a unique fingerprint.

Cite this