Boken "Semantics with Applications: An Appetizer" utforsker den viktige rollen semantikk vil ha i fremtidig utvikling av programvaresystemer og domene-spesifikke språk. Det er et presserende behov for en innføringsbok som presenterer de grunnleggende ideene bak disse tilnærmingene, belyser deres sammenhenger ved å formulere og bevise relevante teoremer, samt illustrerer bruken av semantikk innen datavitenskap. Denne boken tar for seg forholdet mellom forskjellige metoder og beskriver noen av de sentrale konseptene som benyttes, med interessante eksempler som illustrasjon. Historisk betydningsfulle bruksområder er kombinert med spennende potensielle anvendelser, slik som: Validering av prototypeimplementeringer av programmeringsspråk, verifisering av programanalyser som er en del av mer avanserte implementeringer av programmeringsspråk, verifisering av sikkerhetsanalyser, samt verifisering av nyttige programegenskaper som informasjon om kjøretid.
