Analyzing the environment structure of higher-order languages using frame strings (Q879361): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2006.12.031 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2152540418 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Systematic design of program transformation frameworks by abstract interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Back to direct style / rank
 
Normal rank
Property / cites work
 
Property / cites work: A first-order one-pass CPS transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definitional interpreters for higher-order programming languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definitional interpreters revisited / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 17:56, 25 June 2024

scientific article
Language Label Description Also known as
English
Analyzing the environment structure of higher-order languages using frame strings
scientific article

    Statements

    Analyzing the environment structure of higher-order languages using frame strings (English)
    0 references
    0 references
    0 references
    11 May 2007
    0 references
    lambda calculus
    0 references
    program analysis
    0 references
    super-beta
    0 references
    higher-order functional languages
    0 references
    delta-CFA
    0 references
    control-flow analysis
    0 references
    data-flow analysis
    0 references
    frame strings
    0 references
    continuation-passing style
    0 references
    CPS
    0 references
    abstract interpretation
    0 references

    Identifiers