Home

WorldCat Home About WorldCat Help Get E-mail Updates Feedback

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

<< Return to Search Results

Cite/Export

Cite/Export

Copy a citation

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote Export to EasyBib Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/28851396 Title: 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 : Springer-Verlag, ©1993. ISBN/ISSN: 354057316X 9783540573166 038757316X 9780387573168 OCLC:28851396

The ReCaptcha terms you entered were incorrect. Please try to match the 2 words shown in the window, or try the audio version.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

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

Preview this item

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 : Springer-Verlag, ©1993.
Series:	Lecture notes in computer science, 735.
Edition/Format:	Book : EnglishView all editions and formats
Rating:	(not yet rated) 0 with reviews - Be the first.

Borrow / obtain a copy

Find a copy in the library

Finding libraries that hold this item...

Details

Document Type:	Book
All Authors / Contributors:	D Bjørner; M Broy; I V Pottosin Find more information about:
ISBN:	354057316X 9783540573166 038757316X 9780387573168
OCLC Number:	28851396
Description:	ix, 433 p. : ill. ; 24 cm.
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.
More information:	Publisher description

Reviews

User-contributed reviews

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Get E-mail Updates \| Feedback \| Search

More like this

Subjects

Similar Items