Titlebook: Mathematical Methods of Specification and Synthesis of Software Systems ‘85; Proceedings of the I Wolfgang Bibel,Klaus P. Jantke Conference

Flatter

GENRE

Inductive inference hierarchies: Probabilistic VS pluralistic strategies,In this paper we will briefly survey the developments in hiearchy results in recursion theoretic inductive inference, especially with respect to trading off one feature of the inference process against another, and present some new results regarding trade-offs between probabilistic and pluralistic strategies.

商议

热情的我

978-3-540-16444-9Springer-Verlag Berlin Heidelberg 1986

MINT

万神殿

GROG

滔滔不绝地说

A program synthesis algorithm exemplified,gated synthesis algorithm is well-structured and assumes some basic knowledge formalized as a heterogeneous signature with some first order axioms. We introduce this synthesis algorithm in detail by means of a particular program for a sorting algorithm.

Kaleidoscope

The METANET. A knowledge representation tool based on abstract data types,d how axioms can be derived from axiom schemas by instantiation in turn, yielding a specification of a concrete sort of semantic networks. Some remarks on the properties and the use of METANET are passed.

CHAR