Mathematical Methods of Specification and Synthesis of Software Systems '85
Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985
1st Edition
Published on 14. January 1987
250 pages
978-3-11-273341-7 (ISBN)
Description
No detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems '85".
More details
Other editions
Additional editions
Wolfgang Bibel | Klaus P. Jantke
Mathematical Methods of Specification and Synthesis of Software Systems '85
Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22-26, 1985
Book
12/1986
1st Edition
De Gruyter
€139.95
Shipment within 7-9 days
Content
- Intro
- FOREWORD
- CONTENTS
- Verification of an alternating bit protocol by means of process algebra
- Predicative programming revisited
- Some problems on inductive inference from positive data
- Language and example of knowledge-based programming
- Inductive inference hierarchies : probabilistic vs pluralistic strategies
- Natural mathematical texts vs . programs
- An algebraic framework for inductive program synthesis
- Approximation logic
- Learning on the basis of a polynomial pattern synthesis algorithm
- The proof-checking component for the PLEATS programming system enabling specification of theories
- The METANET . A knowledge representation tool based on abstract data types
- One more property of array languages
- Theoretical aspects of -programming
- Decidability in Pratt's process logics
- A program synthesis algorithm exemplified
- The algorithmic specification method of abstract data types: an overview
- Orientation problems on sequences by recursive functions
- The solution of discrete problems by means of ternary representations
- Formalizing analogical reasoning
- Some results in the theory of effective program synthesis : learning by defective information
- Deductive normal forms of relations
- How fast is program synthesis from examples
- On recursive optimizers
