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

arouse

书目名称Baltic Computer Science影响因子(影响力)




书目名称Baltic Computer Science影响因子(影响力)学科排名




书目名称Baltic Computer Science网络公开度




书目名称Baltic Computer Science网络公开度学科排名




书目名称Baltic Computer Science被引频次




书目名称Baltic Computer Science被引频次学科排名




书目名称Baltic Computer Science年度引用




书目名称Baltic Computer Science年度引用学科排名




书目名称Baltic Computer Science读者反馈




书目名称Baltic Computer Science读者反馈学科排名

商品

娘娘腔

Toward knowledge-based specifications of languages, question of using object-oriented paradigm for the specification of a language treated as a collection of classes of concepts. On the other hand, this is the question of employing syntax-directed methods for software construction in knowledge-based systems.

Angiogenesis

BRAVE

Inductive inference of recursive functions: Complexity bounds, inference is a process to find an algorithm from sample computations. In the case when the given class of functions is recursively enumerable it is easy to define a natural complexity measure for the inductive inference, namely, the worst-case mindchange number for the first n functions in the give

独轮车

Inductive synthesis of dot expressions,which is based on a formalization of the intuitive notion of ellipsis (‘...’). Whilst formally the dot expressions are simply a language describing sets of words, on the other hand, it can be considered as a programming language supporting quite a wide class of programs. Equivalence and asymptotical

弄皱

Foreknowledge

Automatic construction of test sets: Theoretical approach,necessary to execute all feasible branches of program at least once on the tests of CTS. A simple programming language is introduced with the property that the values used in conditional statements are not arithmetically deformed. For this language the CTS problem is proved to be algorithmically sol

压碎

Aggregate approach for specification, validation, simulation and implementation of computer networked in the paper. With this approach the above mentioned design stages can be executed using a single mathematical scheme. The method of reachability states is used for the validation of protocol general properties, while individual characteristics are analysed by the invariant method which enables t

bromide

A compositional proof system for distributed programs,ain class of distributed programs with a synchronous mode of communication regarded as standard. A compositional proof system dealing with partial correctness of distributed programs is presented. The correctness of formalization is justified by proving the system to be sound and relatively complete