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

Fingerprint

Semantics
Language

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

@article{c85e8a06fb0b46b4b6bc4c29cfa37942,
title = "On extracting static semantics",
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.",
author = "Hannan, {John Joseph}",
year = "2001",
month = "1",
day = "1",
doi = "10.1016/S1571-0661(04)80961-7",
language = "English (US)",
volume = "45",
pages = "162--173",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",

}

On extracting static semantics. / Hannan, John Joseph.

In: Electronic Notes in Theoretical Computer Science, Vol. 45, 01.01.2001, p. 162-173.

Research output: Contribution to journalConference article

TY - JOUR

T1 - On extracting static semantics

AU - Hannan, John Joseph

PY - 2001/1/1

Y1 - 2001/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=18944371666&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=18944371666&partnerID=8YFLogxK

U2 - 10.1016/S1571-0661(04)80961-7

DO - 10.1016/S1571-0661(04)80961-7

M3 - Conference article

VL - 45

SP - 162

EP - 173

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -