skip to content
Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings Preview this item
ClosePreview this item
Checking...

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings

Author: D Bjørner; M Broy; I V Pottosin
Publisher: Berlin ; New York : SpringerVerlag, ©1993.
Series: Lecture notes in computer science, 735.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to  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

Additional Physical Format: Print version:
Formal methods in programming and their applications.
Berlin ; New York : Springer-Verlag, ©1993
(DLC) 93021317
(OCoLC)28851396
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: D Bjørner; M Broy; I V Pottosin
ISBN: 9783540480563 3540480560
OCLC Number: 321305244
Description: 1 online resource (ix, 433 pages) : illustrations.
Contents: Theory of Domains and Nearby / Yu. L. Ershov Predicative Programming A Survey / J. Grundy --
A Three-Valued Logic for Refinement / J. Grundy --
A Compositional Semantics of Combining Forms for Gamma Programs / D. Sands --
Algebraic Properties of Loop Invariants / G. Futschek --
An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing / W. Reif --
Algebraic Modelling of Imperative Languages with Pointers / A.V. Zamulin --
Galois Connection Based Abstract Interpretations for Strictness Analysis / P. Cousot and R. Cousot --
Efficient Chaotic Iteration Strategies with Widenings / F. Bourdoncle --
Semantic Analysis of Interval Congruences / F. Masdupuy --
Polymorphic Typing for Call-By-Name Semantics / B. Monsuez --
Logic Program Testing Based on Abstract Interpretation / L. Lu and P. Greenfield --
Analysis of Some Semantic Properties for Programs of the Applicative Language AL / V. Sabelfeld. Communication as Unification in Process Algebras: Operational Semantics / Ph. Jorrand --
Functional Development of Massively Parallel Programs / P. Pepper, J. Exner and M. Sudholt --
Observing Some Properties of Event Structures / I.B. Virbitskaite --
The Other Linear Logic / M. Taitslin and D. Arkhangelsky --
Duration Calculi: An Overview / Ch. Zhou --
A Unique Formalism for Specifying and Designing Objects in a Parallel Environment / J.P. Bahsoun, C. Servieres and C. Seguin --
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers / A.M. Haeberer, G.A. Baum and G. Schmidt --
Saturation Replaces Induction for a Miniscoped Linear Temporal Logic / R. Pliuskevicius --
A Formal Approach to Requirements Engineering / F. Nickl and M. Wirsing --
A Two-Phase Approach to Reverse Engineering Using Formal Methods / G.C. Gannod and B.H.C. Cheng --
Algebraically Provable Specification of Optimized Compilations / V. Levin. Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling / H. Lutfiyya, B. McMillin and A. Su --
REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties / V. Nepomniaschy and N. Shilov --
Algebraic Calculation of Graph and Sorting Algorithms / B. Moller --
Automatical Synthesis of Programs with Recursions / A.P. Beltiukov --
Parsing in ISBES / E.A. Boiten.
Series Title: Lecture notes in computer science, 735.
Responsibility: Dines Bjørner, Mandred Broy, Igor V. Pottosin, eds.

Abstract:

The papers in the book are grouped intothe following parts:- formal semantics methods- algebraic specification methods- semantic program analysis and abstract interpretation- semantics  Read more...

Reviews

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

Tags

Be the first.

Similar Items

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/321305244> # Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
    a schema:MediaObject, schema:Book, schema:CreativeWork ;
   library:oclcnum "321305244" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890689932#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/872390> ; # Computer programming
   schema:about <http://id.worldcat.org/fast/932926> ; # Formal methods (Computer science)
   schema:about <http://dewey.info/class/005.1/e20/> ;
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/166391439> ; # I. V. Pottosin
   schema:contributor <http://viaf.org/viaf/85519978> ; # Dines Bjørner
   schema:contributor <http://viaf.org/viaf/91721734> ; # M. Broy
   schema:copyrightYear "1993" ;
   schema:datePublished "1993" ;
   schema:description "Communication as Unification in Process Algebras: Operational Semantics / Ph. Jorrand -- Functional Development of Massively Parallel Programs / P. Pepper, J. Exner and M. Sudholt -- Observing Some Properties of Event Structures / I.B. Virbitskaite -- The Other Linear Logic / M. Taitslin and D. Arkhangelsky -- Duration Calculi: An Overview / Ch. Zhou -- A Unique Formalism for Specifying and Designing Objects in a Parallel Environment / J.P. Bahsoun, C. Servieres and C. Seguin -- On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers / A.M. Haeberer, G.A. Baum and G. Schmidt -- Saturation Replaces Induction for a Miniscoped Linear Temporal Logic / R. Pliuskevicius -- A Formal Approach to Requirements Engineering / F. Nickl and M. Wirsing -- A Two-Phase Approach to Reverse Engineering Using Formal Methods / G.C. Gannod and B.H.C. Cheng -- Algebraically Provable Specification of Optimized Compilations / V. Levin."@en ;
   schema:description "Theory of Domains and Nearby / Yu. L. Ershov Predicative Programming A Survey / J. Grundy -- A Three-Valued Logic for Refinement / J. Grundy -- A Compositional Semantics of Combining Forms for Gamma Programs / D. Sands -- Algebraic Properties of Loop Invariants / G. Futschek -- An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing / W. Reif -- Algebraic Modelling of Imperative Languages with Pointers / A.V. Zamulin -- Galois Connection Based Abstract Interpretations for Strictness Analysis / P. Cousot and R. Cousot -- Efficient Chaotic Iteration Strategies with Widenings / F. Bourdoncle -- Semantic Analysis of Interval Congruences / F. Masdupuy -- Polymorphic Typing for Call-By-Name Semantics / B. Monsuez -- Logic Program Testing Based on Abstract Interpretation / L. Lu and P. Greenfield -- Analysis of Some Semantic Properties for Programs of the Applicative Language AL / V. Sabelfeld."@en ;
   schema:description "Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling / H. Lutfiyya, B. McMillin and A. Su -- REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties / V. Nepomniaschy and N. Shilov -- Algebraic Calculation of Graph and Sorting Algorithms / B. Moller -- Automatical Synthesis of Programs with Recursions / A.P. Beltiukov -- Parsing in ISBES / E.A. Boiten."@en ;
   schema:description "This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences and was the first forum organized by the Institute which was entirely dedicated to formal methods. The main scientific tracks of the conference were centered around formal methods of program development and program construction. The papers in the book are grouped into the following parts: - formal semantics methods - algebraic specification methods - semantic program analysis and abstract interpretation - semantics of parallelism - logic of programs - software specification and verification - transformational development and program synthesis."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/890689932> ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/28851396> ;
   schema:name "Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings"@en ;
   schema:productID "321305244" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/321305244#PublicationEvent/berlin_new_york_springerverlag_1993> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/890689932#Agent/springerverlag> ; # SpringerVerlag
   schema:url <http://dx.doi.org/10.1007/BFb0039695> ;
   schema:url <http://link.springer.com/10.1007/BFb0039695> ;
   schema:workExample <http://worldcat.org/isbn/9783540480563> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/321305244> ;
    .


Related Entities

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

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

<http://id.worldcat.org/fast/932926> # Formal methods (Computer science)
    a schema:Intangible ;
   schema:name "Formal methods (Computer science)"@en ;
    .

<http://link.springer.com/10.1007/BFb0039695>
   rdfs:comment "from Springer" ;
   rdfs:comment "(Unlimited Concurrent Users)" ;
    .

<http://viaf.org/viaf/166391439> # I. V. Pottosin
    a schema:Person ;
   schema:familyName "Pottosin" ;
   schema:givenName "I. V." ;
   schema:name "I. V. Pottosin" ;
    .

<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://viaf.org/viaf/91721734> # M. Broy
    a schema:Person ;
   schema:birthDate "1949" ;
   schema:familyName "Broy" ;
   schema:givenName "M." ;
   schema:name "M. Broy" ;
    .

<http://worldcat.org/isbn/9783540480563>
    a schema:ProductModel ;
   schema:isbn "3540480560" ;
   schema:isbn "9783540480563" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/321305244> ; # Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/oclc/28851396>
    a schema:CreativeWork ;
   rdfs:label "Formal methods in programming and their applications." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/321305244> ; # Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
    .

<http://www.worldcat.org/title/-/oclc/321305244>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/321305244> ; # Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings
   schema:dateModified "2017-12-24" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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