Filters








2 Hits in 2.7 sec

SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi ★

F. L. C. de Moura, M. Ayala-Rincón, F. Kamareddine
2006 Journal of Applied Non-Classical Logics  
Acknowledgements We would like to thank Manuel Maarek and Stéphane Gimenez for the useful help with Ocaml and suggestions to improve the system.  ...  We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi.  ...  SUBSEXPL has been used as a tool for understanding properties of explicit substitutions calculi.  ... 
doi:10.3166/jancl.16.119-150 fatcat:uv32uouixrcjzaggh4nod2e5tq

A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi

F.L.C. de Moura, A.V. Barbosa, M. Ayala-Rincón, F. Kamareddine
2011 Electronical Notes in Theoretical Computer Science  
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normalisations in three important calculi of explicit substitutions and has been applied to understand and explain  ...  properties of these calculi and to compare the different styles of making explicit the substitution operation in implementations of the λ-calculus in de Bruijn notation.  ...  Introduction The system SUBSEXPL [14] was developed in OCaml as a system to simulate and compare calculi of explicit substitutions in de Bruijn notation (variables as indices).  ... 
doi:10.1016/j.entcs.2011.03.004 fatcat:iwspr275tvcc7c5bwuyihz5mva