2 papers
cs.LO2026
Equational and Inductive Reasoning for Maude in Athena
Mateo Sanabria, Carlos Varela, Camilo Rocha +1
In the rewriting logic framework, equational-based specifications are used to define deterministic functional behavior, abstract data types, and canonical representations of data.…
cs.SE2023
The Stackage Repository: An Exploratory Study of its Evolution
Paul Leger, Felipe Ruiz, Nicolás Sepúlveda +2
Context. Package repositories for a programming language are increasingly common. A repository can keep a register of the evolution of its packages. In the programming language Has…