Format:
Online-Ressource (245 S.)
Edition:
Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
ISBN:
9783540397847
Series Statement:
Lecture notes in computer science 215
Content:
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.
Note:
Literaturangaben
Additional Edition:
ISBN 3540164448
Additional Edition:
ISBN 0387164448
Additional Edition:
ISBN 9783540164449
Additional Edition:
Erscheint auch als Druck-Ausgabe Mathematical methods of specification and synthesis of software systems '85 Berlin : Springer, 1986 ISBN 3540164448
Additional Edition:
ISBN 0387164448
Language:
English
Subjects:
Computer Science
Keywords:
Softwareentwicklung
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/3-540-16444-8
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Bookmarklink