Abstrakt. Detta dokument syftar till att ge en bättre formalism för att beskriva egenskaper hos länkade datastrukturer (t.ex. listor, träd, grafer), samt de mellanliggande tillstånd som uppstår när sådana strukturer destruktivt uppdateras. Papperet de nes en ny logik som är lämplig för dessa ändamål (kallas Lr, för \logic av nåbarhet uttryck). Vi visar att Lr är decidable, och förklara hur Lr relaterar till två tidigare de Ned struktureradescription formalismer (\pat matriser" och \statisk form grafer) genom att visa hur en godtycklig form deskriptor från var och en av dessa formalismer kan översättas till en Lr formel.
En decledable logik som kallas L r (för "logic of reachability expressions") definierades i REF.
A Decidable Logic for Describing Linked Data Structures
{'venue': 'ESOP', 'journal': None, 'mag_field_of_study': ['Computer Science']}