Skip to main content
SpringerLink
Log in

Mathematical Methods of Specification and Synthesis of Software Systems '85

Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

  • Conference proceedings
  • © 1986

Overview

Editors:
  1. Wolfgang Bibel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus P. Jantke
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 215)

Included in the following conference series:

Conference proceedings info: MMSSS 1985.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Download chapter PDF

  2. Verification of an alternating bit protocol by means of process algebra protocol

    • J. A. Bergstra, J. W. Klop
    Pages 9-23

  3. Predicative programming revisited

    • W. Bibel
    Pages 25-40

  4. Some problems on inductive inference from positive data

    • Takeshi Shinohara
    Pages 41-58

  5. Language and example of knowledge-based programming

    • E. Tyugu
    Pages 59-72

  6. Inductive inference hierarchies: Probabilistic VS pluralistic strategies

    • Robert P. Daley
    Pages 73-82

  7. Natural mathematical texts VS. programs

    • T. Gergely, K. P. Vershinin
    Pages 83-100

  8. An algebraic framework for inductive program synthesis

    • Klaus P. Jantke
    Pages 101-122

  9. Approximation logic

    • Helena Rasiowa, Andrzej Skowron
    Pages 123-139

  10. Learning on the basis of a polynomial pattern synthesis algorithm

    • Ognian Botusharov
    Pages 141-148

  11. The proof-checking component for the pleats programming system enabling specification of theories

    • Jolanta Cybulka, Jerzy Bartoszek
    Pages 149-155

  12. The METANET. A knowledge representation tool based on abstract data types

    • Werner Dilger, Wolfgang Womann
    Pages 156-161

  13. One more property of array languages

    • Marek Ejsmont
    Pages 162-168

  14. Theoretical aspects of Σ-programming

    • Goncharov S. S., Sviridenko D. I.
    Pages 169-179

  15. Decidability in pratt's process logics

    • Z. HabasiÅ„ski
    Pages 180-184

  16. A program synthesis algorithm exemplified

    • Steffen Lange
    Pages 185-193

  17. The algorithmic specification method of abstract data types: An overview

    • Jacques Loeckx
    Pages 194-200

  18. Orientation problems on sequences by recursive functions

    • Péter Komjáth, Szabó Zsolt
    Pages 201-206

  19. The solution of discrete problems by means of ternary representations

    • Ch Posthoff, J. Reiß
    Pages 207-214

  20. Formalizing analogical reasoning

    • Dieter Pötschke
    Pages 215-218
Back to top

Other volumes

  1. Mathematical Methods of Specification and Synthesis of Software Systems '85

Keywords

Bibliographic Information

  • Book Title: Mathematical Methods of Specification and Synthesis of Software Systems '85

  • Book Subtitle: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

  • Editors: Wolfgang Bibel, Klaus P. Jantke

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-16444-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1986

  • Softcover ISBN: 978-3-540-16444-9Published: 01 June 1986

  • eBook ISBN: 978-3-540-39784-7Published: 06 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: VIII, 248

  • Topics: Programming Techniques

Publish with us

Policies and ethics

Back to top

Search

Navigation