Go up to Top Go forward to Languages with Contexts

Languages with Contexts

• In any language, the context of a phrase influences its meaning.
• In programming languages, contexts attribute meanings to identifiers.
• Does the store establish the context?

begin
    integer X; integer Y
    Y:=0
    X:=Y
    Y:=1
    X:=Y+1
end

• But the store constantly changes within the block!
• Declarations establish block context.
• Commands operate within that context.