Formal Methods in Programming and Their Applications International Conference, Academgorodok, Russia, June - July 1993 Proceedings

Name: Formal Methods in Programming and Their Applications International Conference, Academgorodok, Russia, June - July 1993 Proceedings
Availability: OutOfStock
ISBN: 9780387573168

ISBN-10: 038757316X

ISBN-13: 9780387573168

Edition: N/A

Authors: Dines Bjï¿½rner, Manfred Broy, Igor V. Pottosin

List price: $82.95

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Book details

List price: $82.95
Publisher: Springer
Binding: Paperback
Pages: 435
Language: English



Theory of Domains and Nearby



Predicative Programming - A Survey



A Three-Valued Logic for Refinement



A Compositional Semantics of Combining Forms for Gamma Programs



Algebraic Properties of Loop Invariants



An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing



Algebraic Modelling of Imperative Languages with Pointers



Galois Connection Based Abstract Interpretations for Strictness Analysis



Efficient Chaotic Iteration Strategies with Widenings



Semantic Analysis of Interval Congruences



Polymorphic Typing for Call-By-Name Semantics



Logic Program Testing Based on Abstract Interpretation



Analysis of Some Semantic Properties for Programs of the Applicative Language AL



Communication as Unification in Process Algebras: Operational Semantics



Functional Development of Massively Parallel Programs



Observing Some Properties of Event Structures



The Other Linear Logic



Duration Calculi: An Overview



A Unique Formalism for Specifying and Designing Objects in a Parallel Environment



On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers



Saturation Replaces Induction for a Miniscoped Linear Temporal Logic



A Formal Approach to Requirements Engineering



A Two-Phase Approach to Reverse Engineering Using Formal Methods



Algebraically Provable Specification of Optimized Compilations



Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling



REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties



Algebraic Calculation of Graph and Sorting Algorithms



Automatical Synthesis of Programs with Recursions



Parsing in ISBES



Author Index