Algorithms vs. Machines
Cached
Download Links
- [www.math.lsa.umich.edu]
- [research.microsoft.com]
- DBLP
Other Repositories/Bibliography
by
Andreas Blass
,
Yuri Gurevich
| Citations: | 1 - 1 self |
BibTeX
@MISC{Blass_algorithmsvs.,
author = {Andreas Blass and Yuri Gurevich},
title = {Algorithms vs. Machines },
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Yiannis Moschovakis argues that some algorithms, and in particular the mergesort algorithm, cannot be adequately described in terms of machines acting on states. We show how to describe the mergesort algorithm, on its natural level of abstraction, in terms of distributed abstract state machines.
Citations
| 384 | Evolving algebras 1993: Lipari guide - Gurevich - 1995 |
| 104 | Sequential abstract state machines capture sequential algorithms - Gurevich |
| 48 | Abstract state machines capture parallel algorithms - Blass, Gurevich |
| 19 | What is an algorithm - Moschovakis - 2001 |
| 18 | Recursive abstract state machines - Gurevich, Spielmann - 1997 |
| 10 | Saharon Shelah, Choiceless polynomial time - Blass, Gurevich - 1999 |
| 8 | On founding the theory of algorithms - Moschovakis - 1998 |
