Sciweavers

Share
BIRTHDAY
2003
Springer

Automata Mista

10 years 9 months ago
Automata Mista
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as finite-state process descriptions. We use as algorithmic description language Pidgin ML, a core applicative subset of Objective Caml. Dedicated to Zohar Manna for his 26 th birthday
Gérard P. Huet
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where BIRTHDAY
Authors Gérard P. Huet
Comments (0)
books