On extracting static semantics

John Hannan

doi:10.1016/S1571-0661(04)80961-7

On extracting static semantics

John Hannan

Computer Science and Engineering

Research output: Contribution to journal › Conference article › peer-review

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 language	English (US)
Pages (from-to)	162-173
Number of pages	12
Journal	Electronic Notes in Theoretical Computer Science
Volume	45
DOIs	https://doi.org/10.1016/S1571-0661(04)80961-7
State	Published - Nov 2001
Event	MFPS 2001, Seventeenth Conference on the Mathematical Foundations of Programming Semantics - Aarhus, Denmark Duration: May 23 2001 → May 26 2001

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1016/S1571-0661(04)80961-7

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 = "John Hannan",

note = "Funding Information: 1 This work is supported in part by NSF Award #CCR-9900918. 2 Email: [email protected]; MFPS 2001, Seventeenth Conference on the Mathematical Foundations of Programming Semantics ; Conference date: 23-05-2001 Through 26-05-2001",

year = "2001",

month = nov,

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",

}

TY - JOUR

T1 - On extracting static semantics

AU - Hannan, John

N1 - Funding Information: 1 This work is supported in part by NSF Award #CCR-9900918. 2 Email: [email protected]

PY - 2001/11

Y1 - 2001/11

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

AN - SCOPUS:18944371666

SN - 1571-0661

VL - 45

SP - 162

EP - 173

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

T2 - MFPS 2001, Seventeenth Conference on the Mathematical Foundations of Programming Semantics

Y2 - 23 May 2001 through 26 May 2001

ER -

On extracting static semantics

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this