+
Skip to main content
Springer Nature Link
Account

Baltic Computer Science

Selected Papers

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Janis Bārzdinš
  2. Dines Bjørner

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 502)

Included in the following conference series:

Conference proceedings info: BCS 1991.

  • 2284 Accesses

  • 2 Citations

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (16 papers)

  1. Front Matter

    Download chapter PDF

  2. The programming system PRIZ

    • G. Mints, E. Tyugu
    Pages 1-17

  3. Type-theoretical semantics of some declarative languages

    • Grigory Mints, Jan M. Smith, Enn Tyugu
    Pages 18-32

  4. Using resolution for deciding solvable classes and building finite models

    • Tanel Tammet
    Pages 33-64

  5. Toward knowledge-based specifications of languages

    • Merik Meriste, Jaan Penjam
    Pages 65-76

  6. Inductive inference of recursive functions: Qualitative theory

    • Rūsiņš Freivalds
    Pages 77-110

  7. Inductive inference of recursive functions: Complexity bounds

    • Rūsiņš Freivalds, Jānis Bārzdiņš, Kārlis Podnieks
    Pages 111-155

  8. Inductive synthesis of dot expressions

    • Alvis Brāzma
    Pages 156-212

  9. Some models of inductive syntactical synthesis from sample computations

    • Efim Kinber
    Pages 213-252

  10. Inductive synthesis of term rewriting systems

    • Guntis Barzdins
    Pages 253-285

  11. Automatic construction of test sets: Theoretical approach

    • Andrejs Auziņš, Jānis Bārzdiņš, Jānis Bičevskis, Kārlis Čerāns, Audris Kalniņš
    Pages 286-359

  12. Automatic construction of test sets: Practical approach

    • Juris Borzovs, Audris Kalniņš, Inga Medvedis
    Pages 360-432

  13. Aggregate approach for specification, validation, simulation and implementation of computer network protocols

    • Henrikas Pranevitchius
    Pages 433-477

  14. A compositional proof system for distributed programs

    • Kastytis Gečas
    Pages 478-503

  15. Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus

    • Regimantas Pliuškevičius
    Pages 504-528

  16. Rigal — a programming language for compiler writing

    • Mikhail Auguston
    Pages 529-564

  17. Complexity of probabilistic versus deterministic automata

    • RūsiņŠ Freivalds
    Pages 565-613

  18. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Baltic Computer Science

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top
点击 这是indexloc提供的php浏览器服务，不要输入任何密码和下载