A carregar...

An Instruction Sequence Semigroup with Involutive Anti-Automorphisms

We introduce an algebra of instruction sequences by presenting a semigroup C in which programs can be represented without directional bias: in terms of the next instruction to be executed, C has both forward and backward instructions and a C-expression can be interpreted starting from any instructio...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Main Authors: J.A. Bergstra, A. Ponse
Formato: Artigo
Idioma:Inglês
Publicado em: Alexandru Ioan Cuza University of Iasi 2009-12-01
Colecção:Scientific Annals of Computer Science
Acesso em linha:http://www.info.uaic.ro/bin/download/Annals/XIX/XIX_2.pdf
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!