ISBN-10:
3540541314
ISBN-13:
9783540541318
Pub. Date:
08/05/1991
Publisher:
Springer Berlin Heidelberg
Baltic Computer Science: Selected Papers / Edition 1

Baltic Computer Science: Selected Papers / Edition 1

by Janis Barzdins, Dines Bjørner

Paperback

Current price is , Original price is $159.0. You

Temporarily Out of Stock Online

Please check back later for updated availability.

Product Details

ISBN-13: 9783540541318
Publisher: Springer Berlin Heidelberg
Publication date: 08/05/1991
Series: Lecture Notes in Computer Science , #502
Edition description: 1991
Pages: 626
Product dimensions: 6.10(w) x 9.25(h) x 0.05(d)

Table of Contents

The programming system PRIZ.- Type-theoretical semantics of some declarative languages.- Using resolution for deciding solvable classes and building finite models.- Toward knowledge-based specifications of languages.- Inductive inference of recursive functions: Qualitative theory.- Inductive inference of recursive functions: Complexity bounds.- Inductive synthesis of dot expressions.- Some models of inductive syntactical synthesis from sample computations.- Inductive synthesis of term rewriting systems.- Automatic construction of test sets: Theoretical approach.- Automatic construction of test sets: Practical approach.- Aggregate approach for specification, validation, simulation and implementation of computer network protocols.- A compositional proof system for distributed programs.- Investigation of finitary calculus for a discrete linear time logic by means of infinitary calculus.- Rigal — a programming language for compiler writing.- Complexity of probabilistic versus deterministic automata.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews