Titlebook: Baltic Computer Science; Selected Papers Janis Bārzdinš,Dines Bjørner Conference proceedings 1991 Springer-Verlag Berlin Heidelberg 1991 Co

Keratin

right-atrium

https://doi.org/10.1007/BFb0019352Compiler; Distributed Systems; Programmsynthese; Spezifikation; Synthesis of Programs; Test Case Generati

indicate

儿童

osteocytes

,Rigal — a programming language for compiler writing, advanced pattern matching. All phases of compilation, including parsing, optimization and code generation, can be programmed in this language in short and readable form. Sample compiler written in RIGAL is presented.

Panacea

,Anlagen zur Herstellung und Füllung,Fast algorithm for inductive synthesis of term rewriting systems is described and proved to be correct. It is implemented and successfully applied for inductive synthesis of different algorithms, including the binary multiplication. The algorithm proposed supports automatic learning process and can be used for designing and implementation of ADT.

蒸发

Talkative

Synovial-Fluid

Automatic construction of test sets: Practical approach,The problem of symbolic execution and test generation is considered both for sequential and concurrent programs. Practical methods for test construction for the given program path are presented.

Cabinet