Analyzing the environment structure of higher-order languages using frame strings

DOI10.1016/J.TCS.2006.12.031MaRDI QIDQ879361zbMATH OpenOpenAlexFDO

Authors Matthew Might, Olin Shivers

Publication date 11 May 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2006.12.031

zbMATH Keywords

abstract interpretationcontinuation-passing stylecontrol-flow analysisCPSdata-flow analysisdelta-CFAframe stringshigher-order functional languageslambda calculusprogram analysissuper-beta

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1472273
• Detecting stack-based environments in denotational definitions
• Completeness of string analysis for dynamic languages
• scientific article; zbMATH DE number 3909759
• scientific article; zbMATH DE number 4092801
• Langford strings, formal languages and contextual ambiguity
• Reasoning about programs by exploiting the environment
• Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
• Structured Operational Semantics of a fragment of the language Scheme
• scientific article; zbMATH DE number 1186722

Cites work

• A first-order one-pass CPS transformation
• Back to direct style
• Definitional interpreters for higher-order programming languages
• Definitional interpreters revisited
• Systematic design of program transformation frameworks by abstract interpretation

Cited in

(3)

• Exploiting reachability and cardinality in higher-order flow analysis
• Environment analysis via \(\Delta\)CFA
• A posteriori environment analysis with Pushdown Delta CFA

This page was built for publication: Analyzing the environment structure of higher-order languages using frame strings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q879361)