An Equational Specification for the Scheme Language

Marcelo d'AmorimGrigore Rosu

This work describes the formal semantics of Scheme - based on the publicly available report R5RS - as an equational theory in the Maude rewriting system. The semantics is based on continuations and is highly modular. We also briefly investigate the relationship between our methodology for defining programming languages and other semantic formalisms. We conclude by showing some performance results of the interpreter obtained for free from the executable specification.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: