LEADER 04508nam  22007215  450 
001 996465534703316
005 20200704130203.0
010   $a3-540-47427-7
024 7 $a10.1007/BFb0019352
035   $a(CKB)1000000000233653
035   $a(SSID)ssj0000321570
035   $a(PQKBManifestationID)11262351
035   $a(PQKBTitleCode)TC0000321570
035   $a(PQKBWorkID)10263873
035   $a(PQKB)11166146
035   $a(DE-He213)978-3-540-47427-2
035   $a(PPN)15516726X
035   $a(EXLCZ)991000000000233653
100   $a20121227d1991      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aBaltic Computer Science$b[electronic resource] $eSelected Papers /$fedited by Janis Barzdins, Dines Bjørner
205   $a1st ed. 1991.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1991.
215   $a1 online resource (X, 626 p.)
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v502
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-54131-4 
327   $aThe 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.
330   $aThis 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.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v502
606   $aComputers
606   $aComputer programming
606   $aSoftware engineering
606   $aAlgorithms
606   $aComputer logic
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013
606   $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aComputers.
615  0$aComputer programming.
615  0$aSoftware engineering.
615  0$aAlgorithms.
615  0$aComputer logic.
615 14$aTheory of Computation.
615 24$aProgramming Techniques.
615 24$aSoftware Engineering.
615 24$aComputation by Abstract Devices.
615 24$aAlgorithm Analysis and Problem Complexity.
615 24$aLogics and Meanings of Programs.
676   $a004/.09474
702   $aBarzdins$b Janis$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBjørner$b Dines$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465534703316
996   $aBaltic computer science$91501923
997   $aUNISA