default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in Programming and Their Applications 1993: Novosibirsk, Russia
- Dines Bjørner, Manfred Broy, Igor V. Pottosin:
Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings. Lecture Notes in Computer Science 735, Springer 1993, ISBN 3-540-57316-X
Formal Semantics Methods
- Yuri Leonidovich Ershov:
Theory of Domains and Nearby (Invited Paper). 1-7 - Jim Grundy:
Predicative Programming - A Survey. 8-25 - Jim Grundy:
A Three-Valued Logic for Refinement. 26-42 - David Sands:
A Compositional Semantics of Combining Forms for Gramma Programs. 43-56
Algebraic Specification Methods
- Gerald Futschek:
Algebraic Properties of Loop Invariants. 57-66 - Wolfgang Reif:
An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. 67-80 - Alexandre V. Zamulin:
Algebraic Modelling of Imperative Languages with Pointers. 81-97
Semantic Program Analysis and Abstract Interpretation
- Patrick Cousot, Radhia Cousot:
Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). 98-127 - François Bourdoncle:
Efficient chaotic iteration strategies with widenings. 128-141 - François Masdupuy:
Semantic Analysis of Interval Congruences. 142-155 - Bruno Monsuez:
Polymorphic Typing for Call-by-Name Semantics. 156-169 - Lunjin Lu, Peter Greenfield:
Logic Program Testing Based on Abstract Interpretation. 170-180 - Viktor K. Sabelfeld:
Analysis of Some Semantic Properties for Programs of the Applicative Language AL. 181-189
Semantics of Parallelism
- Philippe Jorrand:
Communication as Unification in Process Algebras: Operational Semantics (Invited Paper). 190-216 - Peter Pepper, Jürgen Exner, Mario Südholt:
Functional Development of Massively Parallel Programs (Invited Paper). 217-238 - Irina B. Virbitskaite:
Observing Some Properties of Event Structures. 239-250
Logic of Programs
- Mikhail A. Taitslin, D. Arkhangelsky:
The Other Linear Logic (Invited Paper). 251-255 - Chaochen Zhou:
Duration Calculi: An Overview (Invited Paper). 256-266 - Jean Paul Bahsoun, Corinne Servieres, Christel Seguin:
A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. 267-280 - Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt
:
On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. 281-298 - Regimantas Pliuskevicius:
Saturation Replaces Induction for a Miniscoped Linear Temporal Logic. 299-311
Software Specification and Verification
- Friederike Nickl, Martin Wirsing:
A Formal Approach to Requirements Engineering (Invited Paper). 312-334 - Gerald C. Gannod, Betty H. C. Cheng:
A Two-Phase Approach to Reverse Engineering Using Formal Methods. 335-348 - Vladimir Levin:
Algebraically Provable Specification of Optimized Compilations. 349-362 - Hanan Lutfiyya, Bruce M. McMillin, Alan Su:
Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. 363-376 - Valery A. Nepomniaschy, Nikolay V. Shilov:
REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. 377-393
Transformational Development and Program Synthesis
- Bernhard Möller:
Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper). 394-413 - Anatoly Petrovich Beltiukov:
Automatical Synthesis of Programs with Recursions. 414-422 - Eerke A. Boiten:
Parsing in ISBES. 423-433
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-28 01:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
