Titlebook: Logic-Based Program Synthesis and Transformation; 8th International Wo Pierre Flener Conference proceedings 1999 Springer-Verlag Berlin Hei

周兴旺

Pragmatics in the Synthesis of Logic Programs,igns but do not necessarily provide guidance in design lifecycles - where less detailed designs are used to guide the description of more detailed designs. The second half of this paper summarises an example of this form of guidance.

Dislocation

,Attempto Controlled English — Not Just Another Logic Specification Language,rocessable. ACE specifications can be unambiguously translated into logic specification languages, and can be queried and executed. In brief, ACE allows domain specialists to express specifications in familiar natural language and combine this with the rigour of formal specification languages.

争论

Ostrich

Generalization in Hierarchies of Online Program Specialization Systems,er developing and formalizing the basic metaprogramming concepts, we extend two basic methods to multiply encoded data: most specific generalization and the homeomorphic embedding relation. Examples and experiments with the initial design of an online specializer illustrate their use in hierarchies of online program specializers.

巩固

Improving Homeomorphic Embedding for Online Termination,also illustrate that the homeomorphic embedding relation suffers from several inadequacies in contexts where logical variables arise. We therefore present new, extended homeomorphic embedding relations to remedy this problem.

Panther

MIME

0302-9743 ic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.978-3-540-65765-1978-3-540-48958-0Series ISSN 0302-9743 Series E-ISSN 1611-3349

从属

0302-9743 Transformation, LOPSTR‘98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are log

河流

leniency

Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes,ailing ILP approaches. Moreover, the combinator form avoids confusing object and metavariables in the applied metalogic program environment. In addition useful algebraic rewriting rules can be formulated conveniently with the combinators.