Mallku Soldevila

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 6

Top Topics

Operational Semantics

Modelling Language

Owl Dl Ontology

Garbage Collection

Top Venues

J. Autom. Reason.

Publications

Mallku Soldevila, Rodrigo Ribeiro, Beta Ziliani
Redex -> Coq: towards a theory of decidability of Redex's reduction semantics. CoRR (2024)
Mallku Soldevila, Beta Ziliani, Bruno Silvestre
From Specification to Testing: Semantics Engineering for Lua 5.2. J. Autom. Reason. 66 (4) (2022)
Mallku Soldevila, Beta Ziliani, Daniel Fridlender
Understanding Lua's Garbage Collection: Towards a Formalized Static Analyzer. PPDP (2020)
Mallku Soldevila, Beta Ziliani, Daniel Fridlender
Understanding Lua's Garbage Collection - Towards a Formalized Static Analyzer. CoRR (2020)
Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas
Decoding Lua: formal semantics for the developer and the semanticist. DLS (2017)
Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas
Decoding Lua: Formal Semantics for the Developer and the Semanticist. CoRR (2017)