The SCEAS System
Navigation Menu

Conferences in DBLP

Ershov Memorial Conference (ershov)
1993 (conf/ershov/1993)

  1. Yuri Leonidovich Ershov
    Theory of Domains and Nearby (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:1-7 [Conf]
  2. Jim Grundy
    Predicative Programming - A Survey. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:8-25 [Conf]
  3. Jim Grundy
    A Three-Valued Logic for Refinement. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:26-42 [Conf]
  4. David Sands
    A Compositional Semantics of Combining Forms for Gramma Programs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:43-56 [Conf]
  5. Gerald Futschek
    Algebraic Properties of Loop Invariants. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:57-66 [Conf]
  6. Wolfgang Reif
    An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:67-80 [Conf]
  7. Alexandre V. Zamulin
    Algebraic Modelling of Imperative Languages with Pointers. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:81-97 [Conf]
  8. Patrick Cousot, Radhia Cousot
    Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:98-127 [Conf]
  9. François Bourdoncle
    Semantic Analysis of Interval Congruences. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:128-141 [Conf]
  10. François Masdupuy
    Semantic Analysis of Interval Congruences. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:142-155 [Conf]
  11. Bruno Monsuez
    Polymorphic Typing for Call-by-Name Semantics. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:156-169 [Conf]
  12. Lunjin Lu, Peter Greenfield
    Logic Program Testing Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:170-180 [Conf]
  13. Viktor K. Sabelfeld
    Analysis of Some Semantic Properties for Programs of the Applicative Language AL. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:181-189 [Conf]
  14. Philippe Jorrand
    Communication as Unification in Process Algebras: Operational Semantics (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:190-216 [Conf]
  15. Peter Pepper, Jürgen Exner, Mario Südholt
    Functional Development of Massively Parallel Programs (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:217-238 [Conf]
  16. Irina Virbitskaite
    Observing Some Properties of Event Structures. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:239-250 [Conf]
  17. Mikhail A. Taitslin, D. Arkhangelsky
    The Other Linear Logic (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:251-255 [Conf]
  18. Chaochen Zhou
    Duration Calculi: An Overview (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:256-266 [Conf]
  19. Jean Paul Bahsoun, Corinne Servieres, Christel Seguin
    A Unique Formalism for Specifying and Designing Objects in a Parallel Environment. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:267-280 [Conf]
  20. Armando Martin Haeberer, Gabriel Baum, Gunther Schmidt
    On the Smooth Calculation of Relational Recursive Expressions out of First-Order Non-Constructive Specifications Involving Quantifiers. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:281-298 [Conf]
  21. Regimantas Pliuskevicius
    Saturation Replaces Induction for a Miniscoped Linear Temporal Logic. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:299-311 [Conf]
  22. Friederike Nickl, Martin Wirsing
    A Formal Approach to Requirements Engineering (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:312-334 [Conf]
  23. Gerald C. Gannod, Betty H. C. Cheng
    A Two-Phase Approach to Reverse Engineering Using Formal Methods. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:335-348 [Conf]
  24. Vladimir Levin
    Algebraically Provable Specification of Optimized Compilations. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:349-362 [Conf]
  25. Hanan Lutfiyya, Bruce M. McMillin, Alan Su 0002
    Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:363-376 [Conf]
  26. V. A. Nepomniaschy, Nikolay V. Shilov
    REAL92: A Combined Specification Language for Real-Time Concurrent Systems and Properties. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:377-393 [Conf]
  27. Bernhard Möller
    Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper). [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:394-413 [Conf]
  28. Anatoly Petrovich Beltiukov
    Automatical Synthesis of Programs with Recursions. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:414-422 [Conf]
  29. Eerke A. Boiten
    Parsing in ISBES. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Programming and Their Applications, 1993, pp:423-433 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002