Abstrakt. Trots populariteten av semantik i små steg, så används semantik i stora steg fortfarande av många forskare. Men semantik i ett stort steg lider av ett allvarligt dubbleringsproblem, som dyker upp så snart semantiken står för undantag och/eller avvikelser. I synnerhet måste många lokaler kopieras genom flera utvärderingsregler. Detta dubbleringsproblem, som är särskilt synligt när det gäller att skala upp till fullblåsta språk, resulterar i formella definitioner som blir mycket större än nödvändigt. Dessutom leder det till otillfredsställande redundans i bevis. I detta dokument tar vi itu med problemet genom att införa ganska stora semantik. Pretty-big-step semantics bevara andan av big-step semantics, i den meningen att termer är direkt relaterade till deras resultat, men de eliminerar dubbleringen i samband med big-step semantics.
Pretty-big-step semantics REF ger en kompakt notation för att uttryckligen uttrycka undantag och samstämmighet.
Pretty-Big-Step Semantics
{'venue': 'ESOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}