Baltic Computer Science 1991

@proceedings{DBLP:conf/balt/1991,
  editor    = {Janis Barzdins and
               Dines Bj{\o}rner},
  title     = {Baltic Computer Science, Selected Papers},
  booktitle = {Baltic Computer Science},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {502},
  year      = {1991},
  isbn      = {3-540-54131-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Deductive Synthesis of Programs

• Grigori Mints, Enn Tyugu: The Programming System PRIZ. 1-17 BibTeX
• Grigori Mints, Jan M. Smith, Enn Tyugu: Type-theoretical Semantics of Some Declarative Languages. 18-32 BibTeX
• Tanel Tammet: Using Resolution for Deciding Solvable Classes and Building Finite Models. 33-64 BibTeX
• Merik Meriste, Jaan Penjam: Toward Knowledge-based Specifications of Languages. 65-76 BibTeX

Inductive Synthesis of Programs

• Rusins Freivalds: Inductive Inference of Recursive Functions: Qualitative Theory. 77-110 BibTeX
• Rusins Freivalds, Janis Barzdins, Karlis Podnieks: Inductive Inference of Recursive Functions: Complexity Bounds. 111-155 BibTeX
• Alvis Brazma: Inductive Synthesis of Dot Expressions. 156-212 BibTeX
• Efim B. Kinber: Some Models of Inductive Syntactical Synthesis from Sample Computations. 213-252 BibTeX
• Guntis Barzdins: Inductive Synthesis of Term Rewritin Systems. 253-285 BibTeX

Automatic Test Case Generation

• Andrejs J. Auzins, Janis Barzdins, Janis Bicevskis, Karlis Cerans, Audris Kalnins: Automatic Construction of Test Sets: Theoretical Approach. 286-359 BibTeX
• Juris Borzovs, Audris Kalnins, Inga Medvedis: Automatic Construction of Test Sets: Practical Approach. 360-432 BibTeX

Specification and Verification of Distributed Systems

• Henrikas Pranevitchius: Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols. 433-477 BibTeX
• Kastytis Gecas: A Compositional Proof System for Distributed Programs. 478-503 BibTeX
• Regimantas Pliuskevicius: Investigation of Finitary Calculus for a Discrete Linear Time Logic by means of Infinitary Calculus. 504-528 BibTeX

Miscellaneous

• Mikhail Auguston: RIGAL - a Programming Language for Compiler Writing. 529-564 BibTeX
• Rusins Freivalds: Complexity of Probabilistic Versus Deterministic Automata. 565-613 BibTeX