Operational Semantics - Approaches

Approaches

Gordon Plotkin introduced the structural operational semantics, Robert Hieb and Matthias Felleisen the reduction contexts, and Gilles Kahn the natural semantics.

Read more about this topic:  Operational Semantics

Famous quotes containing the word approaches:

    You should approach Joyce’s Ulysses as the illiterate Baptist preacher approaches the Old Testament: with faith.
    William Faulkner (1897–1962)

    Bloody men are like bloody buses—
    You wait for about a year
    And as soon as one approaches your stop
    Two or three others appear.
    Wendy Cope (b. 1945)

    Someone approaches to say his life is ruined
    and to fall down at your feet
    and pound his head upon the sidewalk.
    David Ignatow (b. 1914)