Baltic Computer Science: Selected Papers

G. Mints, E. Tyugu (auth.), Janis Bārzdinš, Dines Bjørner (eds.)3540541314, 9783540541318, 0387541314

This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.

---

Table of contents :
The programming system PRIZ….Pages 1-17
Type-theoretical semantics of some declarative languages….Pages 18-32
Using resolution for deciding solvable classes and building finite models….Pages 33-64
Toward knowledge-based specifications of languages….Pages 65-76
Inductive inference of recursive functions: Qualitative theory….Pages 77-110
Inductive inference of recursive functions: Complexity bounds….Pages 111-155
Inductive synthesis of dot expressions….Pages 156-212
Some models of inductive syntactical synthesis from sample computations….Pages 213-252
Inductive synthesis of term rewriting systems….Pages 253-285
Automatic construction of test sets: Theoretical approach….Pages 286-359
Automatic construction of test sets: Practical approach….Pages 360-432
Aggregate approach for specification, validation, simulation and implementation of computer network protocols….Pages 433-477
A compositional proof system for distributed programs….Pages 478-503
Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus….Pages 504-528
Rigal — a programming language for compiler writing….Pages 529-564
Complexity of probabilistic versus deterministic automata….Pages 565-613