Vi anpassar Kahn-stil (\big-step") naturliga semantik för att ta på önskvärda aspekter av små steg och denotational semantik former, mer exakt: (i) förmågan att uttrycka olika beräkningar; (ii) förmågan att resonera om (längden av a) beräkning av en härledning; och (iii) förmågan att beräkna på och resonera om högre-order värden. För att uppnå dessa resultat utvidgar vi den klassiska, induktiva tolkningen av naturliga semantik med myntinduktionsmekanismer och använder \negativa" regler för att uttrycka skillnader. En enkel omformulering av syntaxen för härledning tillåter en enkel beskrivning av \längden" av en härledning. Slutligen låter omkodningen av stängningsvärden till denotationalsemantikliknande funktioner en bädda in derivationer i slutningar som bäddas in i derivationer; i denna mening blir semantiken \högre ordning." Exempel ges för att stödja den de niktionella utvecklingen. Kahn-stil (\big-step") naturlig semantik 9] fångar ett programs hela beräkning inom en enda härledning. Denna representation är mer kompakt än vad man får från stat-övergång, \little-step," och denotational de nitions; dessutom ger naturliga semantik flera ytterligare attraktioner: När den naturliga semantiken dened i \environment form," det vill säga semantikens förslag är ternära relationer av formen, `e + v, där 2 Miljö, e 2 Expression, och v 2 Värde, de resulterande derivatationerna är (nästan alltid) semicompositional. Det vill säga, när man drar en fysisk härledning träd med början från en initial källa program e 0 och initial (tom) miljö 0, sedan varje nod inom trädet har formen 0'e0 + v 0, där e 0 är en underfras av e 0. Se figur 1 i denna bilaga.
Den enda relaterade forskningen som försöker vidga tolkningen av naturliga semantik beskrivs i REF.
Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations
{'venue': 'In Second Workshop on Higher-Order Techniques in Operational Semantics (HOOTS2', 'journal': None, 'mag_field_of_study': ['Computer Science']}