Programfel är svåra att upptäcka och är dyra både för programmerare som spenderar betydande insatser i felsökning, och för system som bevakas av körtidskontroller. Statiska verifieringstekniker har tillämpats på tvingande och objektorienterade språk, som Java och C#, men få har tillämpats på ett högre ordning lat funktionellt språk, som Haskell. I detta dokument beskriver vi en sund och automatisk statisk verifieringsram för Haskell, som bygger på kontrakt och symboliskt utförande. Vårt tillvägagångssätt är modulärt och ger exakta ansvarsuppgifter vid kompileringstid i närvaro av högre orderfunktioner och lathet.
REF utvecklar en statisk verifieringsram för Haskell med hjälp av avtal med högre order och symboliskt utförande.
Static contract checking for Haskell
{'venue': "POPL '09", 'journal': None, 'mag_field_of_study': ['Computer Science']}