Den uttrycksfulla kraften hos funktionella logiska språk stöder höga specifikationer samt effektiva implementeringar av problem på samma språk. Om specifikationerna kan genomföras kan de användas både som inledande prototypiska genomföranden och som kontrakt för kontroll av att genomförandet av de genomföranden som förväntas uppfylla specifikationen är tillförlitligt. I detta dokument föreslår vi en konkret ram för att stödja denna allmänna strategi för kodning. Vi diskuterar begreppen specifikationer och kontrakt för funktionell logik programmering och presenterar ett verktyg som stöder utvecklingen av deklarativa program baserade på dessa begrepp.
Likvärdighet i verksamheten definierades för funktionella logiska program i REF.
Contracts and Specifications for Functional Logic Programming
{'venue': 'PADL', 'journal': None, 'mag_field_of_study': ['Computer Science']}