Operational semantics of behavioural canons based on narrowing

  • Horst Reichel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 332)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [GDLH 84]
    Gogolla,M., Drosten,K., Lipeck,U., Ehrich,H.-D.: Algebraic and Operational Semantics of Specifications Allowing Exceptions and Errors. TCS 34(3), 1984Google Scholar
  2. [GB 84]
    Goguen, J.A., Burstall, R.M.:Introducing Institutions, Proc. Logics of Programming Workshop (E. Clarke, D. Kozen, eds.) Carnegie-Mellon University, Springer LNCS 164, 221–256, 1984Google Scholar
  3. [GM 86]
    Goguen,J.A., Meseguer,J.: EQLOG: Equality, Types, and Generic Modules for Logic Programming. In: DeGroot,D., Lindstrom,G.(eds.), Logic Programming, Prentice-Hall, 1986Google Scholar
  4. [Hus 85]
    Hussmann,H.: Unification in conditional-equational theories. MIP-8502, University of Passau, 1985Google Scholar
  5. [Rei 85]
    Reichel,H.: Behavioural validity of conditional equations in abstract data types. In: Contributions to General Algebra 3, Proc. Vienna Conf., June 1984, Verlag Hoelder — Pichler — Tempsky, Wien, 1985Google Scholar
  6. [Rei 86]
    Reichel, H.: Behavioural Program Specification. In: Category Theory and Computer Programming, Pitt, D. et al (eds), LNCS 240, Springer-Verlag, Berlin Heidelberg, 1986Google Scholar
  7. [Rei 87]
    Reichel, H.: Initial Computability, Algebraic Specifications, and Partial Algebras. Oxford Science Publication, Clarendon Press, Oxford 1987Google Scholar
  8. [Rei 87b]
    Reichel,H.: Narrowing in Partial Algebras. In: Proc. EUROCAL'87, Leipzig, June 1987 (to appear)Google Scholar
  9. [Wol 87]
    Wolter,U.: The Power of Behavioural Validity, Preprint MATH 1/87, June 1987, Sektion Mathematik, TU MagdeburgGoogle Scholar
  10. [Wol 88]
    Wolter, U.: Ein algebraischer Zugang zur operationalen Semantik gleichungs-partieller Horn-Theorien. Dissertation TU Magdeburg, 1988Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Horst Reichel
    • 1
  1. 1.Informatik-Zentrum, TU DresdenDresdenGerman Democratic Republic

Personalised recommendations