Abstract is missing.
- Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting SystemsMaja H. Kirkeby, Robert Glück. [doi]
- A Dependently Typed Linear π-Calculus in AgdaLuca Ciccone, Luca Padovani. [doi]
- Finding Candidate Keys and 3NF via Strategic Port Graph RewritingMaribel Fernández, János Varga. [doi]
- Understanding Lua's Garbage Collection: Towards a Formalized Static AnalyzerMallku Soldevila, Beta Ziliani, Daniel Fridlender. [doi]
- Rewrites as Terms through Justification LogicPablo Barenbaum, Eduardo Bonelli. [doi]
- A Computational Understanding of Classical (Co)RecursionPaul Downen, Zena M. Ariola. [doi]
- Two notions of sub-behaviour for session-based client/server systems: 10 Years LaterFranco Barbanera, Ugo de'Liguoro. [doi]
- Proof-Carrying Plans: a Resource Logic for AI PlanningAlasdair Hill, Ekaterina Komendantskaya, Ronald P. A. Petrick. [doi]
- Hailstorm: A Statically-Typed, Purely Functional Language for IoT ApplicationsAbhiroop Sarkar, Mary Sheeran. [doi]
- Declarative abstractions for tensor program partitioningDimitrios Vytiniotis. [doi]
- The Machinery of InteractionBeniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni. [doi]
- Continuous Verification of Machine Learning: a Declarative Programming ApproachEkaterina Komendantskaya, Wen Kokke, Daniel Kienitz. [doi]
- Verified Linear Session-Typed Concurrent ProgrammingAnkush Das, Frank Pfenning. [doi]
- Degrading ListsDylan McDermott, Maciej Piróg, Tarmo Uustalu. [doi]
- Non-monotonic Spatial Reasoning for Safety Analysis in ConstructionBeidi Li, Jochen Teizer, Carl P. L. Schultz. [doi]
- Moulinog: A Generator of Random Student Assignments Written in PrologGonzague Yernaux, Wim Vanhoof, Laurent Schumacher. [doi]