Sekvensvariabler är ett avancerat inslag i moderna programmeringsspråk. De förbättrar stödet för att skriva program på ett deklarativt och lättförståeligt sätt. Till vår kännedom ger Mathematica det bästa stödet för programmering med sekvensvariabler, men det kräver en god förståelse för hur tolken väljer matcher. Detta beror på att matchning mot mönster med sekvensvariabler i allmänhet inte är enhetlig. Vi hävdar att det finns utrymme för att förbättra programmeringsstilen med sekvensvariabler. Vi föreslår ett antal nya programplaneringskonstruktioner som inför vissa strategier för mönstermatchningsprocessen. Våra konstruktioner gör det möjligt att styra valet av matcher genom att annotera sekvensvariabler med bindande prioriteringar och intervall för deras längder, och att beräkna optimala värden som kännetecknas av en poängfunktion som ska optimeras. Därför har vi utvecklat paketet Sequentica. Med Sequentica får Mathematica programmerare och användare ytterligare stöd för att definiera funktioner och omvandlingsregler på ett enkelt och bekvämt sätt. Vi beskriver algoritmiska svårigheter att stödja dessa utbyggnader och beskriver hur de genomförs i Sequentica. Nyttan av dessa förlängningar illustreras med olika exempel. Vi betraktar dessa förlängningar som ett första steg mot att identifiera en ny programmeringsstil: programmering med sekvensvariabler. En sådan programmeringsstil är användbar för att lösa problem baserat på sekvensanalys såsom bio-informatik, kryptografi eller datautvinning. Begreppet sekvensvariabel har visat sig användbart på många områden, såsom symbolisk
REF gav en mer avancerad mekanism för att kontrollera mönstermatchning med sekvensvariabler i Mathematica.
Programming with Sequence Variables : the Sequentica Package
{'venue': 'ICLP', 'journal': None, 'mag_field_of_study': ['Computer Science']}