3. Ershov Memorial Conference 1999: Novosibirsk, Russia

Algebraic Specifications

Specifications with States

Partial Evaluation and Supercompilation

Concurrency and Parallelism

Logic and Processes

Languages and Software

Database Programming

Object-Oriented Programming

Constraint Programming

Model & Program Checking

Artificial Intelligence

a service of Schloss Dagstuhl - Leibniz Center for Informatics