Coverart for item
The Resource Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings, Dines Bjørner, Manfred Broy, Igor V. Pottosin, eds

Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings, Dines Bjørner, Manfred Broy, Igor V. Pottosin, eds

Label
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings
Title
Formal methods in programming and their applications
Title remainder
international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings
Statement of responsibility
Dines Bjørner, Manfred Broy, Igor V. Pottosin, eds
Contributor
Subject
Genre
Language
eng
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 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."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
index present
LC call number
QA76.6
LC item number
.F577 1993
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1937-
  • 1949-
http://library.link/vocab/relatedWorkOrContributorName
  • Bjørner, D.
  • Broy, M.
  • Pottosin, I. V
http://library.link/vocab/subjectName
  • Computer programming
  • Formal methods (Computer science)
  • vérification logiciel
  • spécification logiciel
  • logique programme
  • programme parallèle
  • analyse programme
  • interprétation abstraite
  • spécification algébrique
  • sémantique formelle
  • méthode formelle
  • programmation
  • Programmation (Informatique)
  • Computer programming
  • Formal methods (Computer science)
  • Programmatuurtechniek
  • Ordinateurs
Label
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings, Dines Bjørner, Manfred Broy, Igor V. Pottosin, eds
Instantiates
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Dimensions
24 cm.
Dimensions
unknown
Extent
ix, 433 pages
File format
unknown
Isbn
9783540573166
Lccn
93021317
Level of compression
unknown
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)28851396
  • (OCoLC)ocm28851396
Label
Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28-July 2, 1993 : proceedings, Dines Bjørner, Manfred Broy, Igor V. Pottosin, eds
Publication
Antecedent source
unknown
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Dimensions
24 cm.
Dimensions
unknown
Extent
ix, 433 pages
File format
unknown
Isbn
9783540573166
Lccn
93021317
Level of compression
unknown
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
Other physical details
illustrations
Quality assurance targets
unknown
Reformatting quality
unknown
Sound
unknown sound
Specific material designation
remote
System control number
  • (OCoLC)28851396
  • (OCoLC)ocm28851396

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...