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:

    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)

    The Oriental philosophy approaches easily loftier themes than the modern aspires to; and no wonder if it sometimes prattle about them. It only assigns their due rank respectively to Action and Contemplation, or rather does full justice to the latter. Western philosophers have not conceived of the significance of Contemplation in their sense.
    Henry David Thoreau (1817–1862)

    These were not men, they were battlefields. And over them, like the sky, arched their sense of harmony, their sense of beauty and rest against which their misery and their struggles were an offence, to which their misery and their struggles were the only approaches they could make, of which their misery and their struggles were an integral part.
    Rebecca West (1892–1983)