Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Flexible Framework for Visualisation of Computational Properties of General Explicit
 

Summary: LSFA 2010
A Flexible Framework for Visualisation of
Computational Properties of General Explicit
Substitutions Calculi
F. L. C. de Moura, A. V. Barbosa, M. Ayala-Rinc´on1,2,3
Departamento de Ci^encia da Computa¸c~ao
Universidade de Bras´ilia
Bras´ilia, Brazil
F. Kamareddine4
School of Mathematical and Computer Sciences
Heriot-Watt University
Edinburgh, Scotland
Abstract
SUBSEXPL is a system originally developed to visualise reductions, simplifications and normal-
isations 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. The system
was developed in OCaml and now it can be executed inside the Emacs editor within a new mode
which allows a very easy interaction. The use of special symbols makes its application very useful
for students because the notation on the screen is as close as possible to that on the papers. In

  

Source: Ayala-Rincón, Mauricio - Departamento de Matemática, Universidade de Brasília
Lucero, Jorge Carlos - Departamento de Matemática, Universidade de Brasília

 

Collections: Mathematics