Stack-oriented Programming Language - Stack Effect Diagrams

Stack Effect Diagrams

As an aid to understanding the effect of statement, a short comment is used showing the top of the stack before and after the statement. The top of the stack is rightmost if there are multiple items. This notation is commonly used in the Forth language, where comments are enclosed in parentheses.

( before -- after )

For example, the basic Forth stack operators are described:

dup ( a -- a a ) drop ( a -- ) swap ( a b -- b a ) over ( a b -- a b a ) rot ( a b c -- b c a )

And the fib function below is described:

fib ( n -- fib )

It is equivalent to preconditions and postconditions in Hoare's logic. Both comments may also be referenced as assertions, thought not necessarily in context of Stack-based languages.

Read more about this topic:  Stack-oriented Programming Language

Famous quotes containing the words stack, effect and/or diagrams:

    “Farewell to barn and stack and tree,
    Farewell to Severn shore.
    Terence, look your last at me,
    For I come home no more.
    —A.E. (Alfred Edward)

    Reckoned physiologically, everything ugly weakens and afflicts man. It recalls decay, danger, impotence; he actually suffers a loss of energy in its presence. The effect of the ugly can be measured with a dynamometer. Whenever man feels in any way depressed, he senses the proximity of something “ugly.” His feeling of power, his will to power, his courage, his pride—they decline with the ugly, they increase with the beautiful.
    Friedrich Nietzsche (1844–1900)

    Professors could silence me then; they had figures, diagrams, maps, books.... I was learning that books and diagrams can be evil things if they deaden the mind of man and make him blind or cynical before subjection of any kind.
    Agnes Smedley (1890–1950)