TY - CHAP
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 - 2002
Y1 - 2002
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. We study the issues of developing such techniques and propose avenues of research in this area. We find that significant advances are required before realizing the practical extraction of static semantics from language definitions.
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. We study the issues of developing such techniques and propose avenues of research in this area. We find that significant advances are required before realizing the practical extraction of static semantics from language definitions.
UR - http://www.scopus.com/inward/record.url?scp=84887950701&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84887950701&partnerID=8YFLogxK
U2 - 10.1007/3-540-36377-7_8
DO - 10.1007/3-540-36377-7_8
M3 - Chapter
AN - SCOPUS:84887950701
SN - 9783540003267
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 157
EP - 171
BT - The Essence of Computation
PB - Springer Verlag
ER -