Atlas home || Conferences | Abstracts | about Atlas

2nd Croatian Mathematical Congress
June 15-17, 2000
Croatian Mathematical Society and Dept. of Math., Univ. of Zagreb
Zagreb, Croatia

Organizers
Hrvoje Sikic (president), Pavle Pandzic (secretary)

View Abstracts
Conference Homepage

What is an Algorithm?
by
Yuri Gurevich
Microsoft Research and the University of Michigan

One may think that the title problem was solved long ago by Church and Turing. It wasn't; there is more to an algorithm than the function it computes. (Besides, what function does an operating system compute?) The interest to the problem is not only theoretical. Applications include modeling, specification, verification and design of software and hardware systems. We will explain the sequential Abstract State Machine thesis. (See http://www.acm.org/tocl/accepted.html.) If time permits, we will mention parallel, distributed and real-time ASMs.

Date received: May 8, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caex-79.