skip to content
Baltic computer science : selected papers Preview this item
ClosePreview this item
Checking...

Baltic computer science : selected papers

Author: I︠A︡ M Barzdinʹ; D Bjørner
Publisher: Berlin ; New York : Springer-Verlag, ©1991.
Series: Lecture notes in computer science, 502.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
"This 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  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: I︠A︡ M Barzdinʹ; D Bjørner
ISBN: 3540541314 9783540541318 0387541314 9780387541310
OCLC Number: 23732120
Description: x, 619 pages : illustrations ; 24 cm.
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.
Series Title: Lecture notes in computer science, 502.
Responsibility: J. Bārzdiṇš, D. Bjørner, (eds.).
More information:

Abstract:

This volume presents recent computer science work from the Baltic Republics of Estonia, Latvia and Lithuania. The following topics are addressed: synthesis of programs, automatic test case  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/23732120> # Baltic computer science : selected papers
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "23732120" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866643595#Place/berlin> ; # Berlin
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/lettonie> ; # LETTONIE
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/induction> ; # induction
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/inference_inductive> ; # inférence inductive
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/systeme_reparti> ; # système réparti
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/pays_baltes_informatique> ; # Pays baltes--Informatique
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/programmation_deductive> ; # programmation déductive
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/informatique_pays_baltes> ; # Informatique--Pays baltes
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/synthese_programme> ; # synthèse programme
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/estonie> ; # ESTONIE
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/lituanie> ; # LITUANIE
   schema:about <http://dewey.info/class/004.09474/e20/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/computer_science_baltic_states> ; # Computer science--Baltic States
   schema:about <http://id.worldcat.org/fast/1241546> ; # Baltic States.
   schema:about <http://experiment.worldcat.org/entity/work/data/866643595#Topic/test_automatique> ; # test automatique
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/85519978> ; # Dines Bjørner
   schema:contributor <http://viaf.org/viaf/293691218> ; # I︠A︡n Martynovich Barzdinʹ
   schema:copyrightYear "1991" ;
   schema:datePublished "1991" ;
   schema:description ""This 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."--PUBLISHER'S WEBSITE."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/866643595> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866643595#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
   schema:name "Baltic computer science : selected papers"@en ;
   schema:productID "23732120" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/23732120#PublicationEvent/berlin_new_york_springer_verlag_1991> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/866643595#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://swbplus.bsz-bw.de/bsz024894265cov.htm> ;
   schema:workExample <http://worldcat.org/isbn/9780387541310> ;
   schema:workExample <http://worldcat.org/isbn/9783540541318> ;
   umbel:isLike <http://d-nb.info/910647291> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/23732120> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/866643595#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/866643595#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/23732120> ; # Baltic computer science : selected papers
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866643595#Topic/inference_inductive> # inférence inductive
    a schema:Intangible ;
   schema:name "inférence inductive"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866643595#Topic/informatique_pays_baltes> # Informatique--Pays baltes
    a schema:Intangible ;
   schema:name "Informatique--Pays baltes"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/866643595#Topic/pays_baltes_informatique> # Pays baltes--Informatique
    a schema:Intangible ;
   schema:name "Pays baltes--Informatique"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866643595#Topic/programmation_deductive> # programmation déductive
    a schema:Intangible ;
   schema:name "programmation déductive"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/866643595#Topic/synthese_programme> # synthèse programme
    a schema:Intangible ;
   schema:name "synthèse programme"@en ;
    .

<http://id.worldcat.org/fast/1241546> # Baltic States.
    a schema:Place ;
   schema:name "Baltic States." ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/293691218> # I︠A︡n Martynovich Barzdinʹ
    a schema:Person ;
   schema:familyName "Barzdinʹ" ;
   schema:givenName "I︠A︡n Martynovich" ;
   schema:givenName "I︠A︡. M." ;
   schema:name "I︠A︡n Martynovich Barzdinʹ" ;
    .

<http://viaf.org/viaf/85519978> # Dines Bjørner
    a schema:Person ;
   schema:birthDate "1937" ;
   schema:familyName "Bjørner" ;
   schema:givenName "Dines" ;
   schema:givenName "D." ;
   schema:name "Dines Bjørner" ;
    .

<http://worldcat.org/isbn/9780387541310>
    a schema:ProductModel ;
   schema:isbn "0387541314" ;
   schema:isbn "9780387541310" ;
    .

<http://worldcat.org/isbn/9783540541318>
    a schema:ProductModel ;
   schema:isbn "3540541314" ;
   schema:isbn "9783540541318" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.