On extracting static semantics

Research output: Contribution to journalConference article

Abstract

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
Volume45
DOIs
Publication statusPublished - Jan 1 2001
EventMFPS 2001, Seventeenth Conference on the Mathematical Foundations of Programming Semantics - Aarhus, Denmark
Duration: May 23 2001May 26 2001

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this