Bibel, Wolfgang
[Sonstige Person, Familie und Körperschaft]
Mathematical methods of specification and synthesis of software systems '85
: proceedings of the international spring school, Wendisch-Rietz, GDR, April 22 - 26, 1985
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
E-Book;
Konferenzbericht
Titel:
Mathematical methods of specification and synthesis of software systems '85
:
proceedings of the international spring school, Wendisch-Rietz, GDR, April 22 - 26, 1985
Hersteller der Reproduktion:
Berlin [u.a.]: Springer, 2006
Entstehung:
Anmerkungen:
Literaturangaben
Beschreibung:
Verification of an alternating bit protocol by means of process algebra protocol -- 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.