周兴旺
发表于 2025-3-25 05:07:56
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
发表于 2025-3-25 11:32:53
,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.
争论
发表于 2025-3-25 15:14:20
http://reply.papertrans.cn/59/5881/588099/588099_23.png
Ostrich
发表于 2025-3-25 16:01:21
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.
巩固
发表于 2025-3-25 21:51:58
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
发表于 2025-3-26 00:34:17
http://reply.papertrans.cn/59/5881/588099/588099_26.png
MIME
发表于 2025-3-26 05:24:55
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
从属
发表于 2025-3-26 09:33:00
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
河流
发表于 2025-3-26 14:05:08
http://reply.papertrans.cn/59/5881/588099/588099_29.png
leniency
发表于 2025-3-26 18:39:48
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.