Vi härleder en enkel abstrakt maskin för lat utvärdering av lambdakalkylen, med start från Launchburys naturliga semantik. Lazy utvärdering här innebär icke-strikt utvärdering med delning av argument utvärdering, det vill säga, call-by- need. Maskinen vi härleder är en lat version av Krivines abstrakta maskin, som ursprungligen var utformad för att ringa-för-namn utvärdering. Vi utökar den med datatyp konstruktörer och basvärden, så nal maskinen implementerar alla dynamiska aspekter av ett lat funktionellt språk.
I syfte att härleda en lat abstrakt maskin har Sestoft REF reviderat Launchburys semantik.
Deriving a Lazy Abstract Machine
{'venue': 'Journal of Functional Programming', 'journal': None, 'mag_field_of_study': ['Computer Science']}