標題: Titlebook: Logic Program Synthesis and Transformation; 6th International Wo John Gallagher Conference proceedings 1997 Springer-Verlag Berlin Heidelbe [打印本頁] 作者: 貪污 時間: 2025-3-21 19:40
書目名稱Logic Program Synthesis and Transformation影響因子(影響力)
書目名稱Logic Program Synthesis and Transformation影響因子(影響力)學科排名
書目名稱Logic Program Synthesis and Transformation網絡公開度
書目名稱Logic Program Synthesis and Transformation網絡公開度學科排名
書目名稱Logic Program Synthesis and Transformation被引頻次
書目名稱Logic Program Synthesis and Transformation被引頻次學科排名
書目名稱Logic Program Synthesis and Transformation年度引用
書目名稱Logic Program Synthesis and Transformation年度引用學科排名
書目名稱Logic Program Synthesis and Transformation讀者反饋
書目名稱Logic Program Synthesis and Transformation讀者反饋學科排名
作者: Irascible 時間: 2025-3-22 00:04 作者: Gene408 時間: 2025-3-22 01:04 作者: NADIR 時間: 2025-3-22 06:27
Partial deduction in the framework of structural synthesis of programs,The notion of . known from logic programming is defined in the framework of . (SSP). Partial deduction for unconditional computability statements in SSP is defined. Completeness and correctness of partial deduction in the framework of SSP are proven. Several tactics and stopping criteria are suggested.作者: 網絡添麻煩 時間: 2025-3-22 09:22
https://doi.org/10.1007/3-540-62718-9Programmsynthese; logic; logic programming; program analysis; program synthesis; program transformation; p作者: laparoscopy 時間: 2025-3-22 16:34
A transformation tool for pure Prolog programs,hat have to be satisfied before a particular transformation step can be applied. The transformation tool has been developed using a programming environment based on algebraic specification. The paper describes the tool and reports on the design decisions, the implemented transformation steps, and the user interface.作者: 少量 時間: 2025-3-22 18:13
Refining specifications to logic programs,ent calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these redu作者: IRATE 時間: 2025-3-23 01:17 作者: cravat 時間: 2025-3-23 02:39
Specification-based automatic verification of Prolog programs,otations for the arguments and parameters that can be used to establish program termination. The work stems from Deville‘s methodology to derive Prolog programs that correctly implement their declarative meaning. In this context, we propose an algorithm that combines, adapts, and sometimes improves 作者: Lymphocyte 時間: 2025-3-23 09:25 作者: bronchiole 時間: 2025-3-23 11:13 作者: 偏離 時間: 2025-3-23 17:04
Redundant argument filtering of logic programs,sense. Most program specialisation techniques, even though they filter arguments and remove clauses, fail to remove a substantial number of redundant arguments, yielding in some cases rather inefficient residual programs. We formalise the notion of a redundant argument and show that one cannot effec作者: 高爾夫 時間: 2025-3-23 19:26
Replacement can preserve termination,sal termination besides computed answer substitutions. With this . we can significantly extend the safe unfold/fold transformation sequence presented in [11]. By exploiting typing information, more useful conditions can be defined and we may deal with some special cases of replacement very common in作者: ANTE 時間: 2025-3-23 22:15
A transformation tool for pure Prolog programs,hat have to be satisfied before a particular transformation step can be applied. The transformation tool has been developed using a programming environment based on algebraic specification. The paper describes the tool and reports on the design decisions, the implemented transformation steps, and th作者: LAVE 時間: 2025-3-24 05:32 作者: 共同時代 時間: 2025-3-24 07:12
Abstract specialization and its application to program parallelization,s set is infinite. However, a form of specialization can still be performed in such cases by means of abstract interpretation, specialization then being with respect to abstract values (substitutions), rather than concrete ones. This paper reports on the application of abstract multiple specializati作者: 終端 時間: 2025-3-24 12:21 作者: Ccu106 時間: 2025-3-24 17:08
Inferring argument size relationships with CLP(,), We show how a precise analysis for inter-argument size relationships, formulated in terms of abstract interpretation, can be implemented straightforwardly in a language with constraint support like CLP(.) or SICStus version 3. The analysis is based on polyhedral approximations and uses a simple rel作者: 領袖氣質 時間: 2025-3-24 21:58
Typed norms for typed logic programs, to typed ones. It is important, however, when mapping techniques across that the new techniques should exploit the type system as much as possible. In this paper, we show how norms, which play a crucial role in termination analysis, can be generated from the prescribed types of a logic program. Int作者: 責問 時間: 2025-3-25 01:04
Extensible logic program schemata,ngs of schema-based transformation approaches is their reliance on a large (possibly incomplete) set of logic program schemata that is required in order to capture all of the minor syntactic differences between semantically similar logic programs. By defining a set of extensible logic program schema作者: saturated-fat 時間: 2025-3-25 06:40
Specialising meta-level compositions of logic programs,compositions however suffer from a computational overhead that is due partly to the interpretation layer present in all meta-programs, and partly to the specific interpretation layer needed to deal with program compositions. We show that meta-interpreters implementing compositions of object programs作者: 艦旗 時間: 2025-3-25 07:58 作者: chiropractor 時間: 2025-3-25 14:43
Synthesis of proof procedures for default reasoning,ntics for default reasoning proposed in [2]..The proof procedures are derived from a formal specification. The derivation guarantees the soundness of the proof procedures. The completeness of the proof procedures is shown by employing a technique of symbolic execution of logic programs to compute (a作者: 暗諷 時間: 2025-3-25 19:10 作者: 青石板 時間: 2025-3-25 22:04 作者: Latency 時間: 2025-3-26 03:52 作者: 總 時間: 2025-3-26 04:25
Agostino Cortesi,Baudouin Le Charlier,Sabina RossiA-Studie 2000 machte jedoch auch deutlich, dass ein gro?er Teil der Jugendlichen mit Migrationshintergrund trotz eines Durchlaufens im deutschen Schulsystem erhebliche Defizite in ihrer Bildung aufweisen. Auf der Suche nach Erkl?rungen kommen viele P?dagoglnnen und Politikerinnen schnell zur Einsch?作者: Evacuate 時間: 2025-3-26 08:53 作者: 小歌劇 時間: 2025-3-26 14:22
Jesper J?rgensen,Michael Leuschel,Bern Martens Gründe: Seit ihren Anf?ngen bewegt sich die Jugendarbeit erstens in einem Spannungsverh?ltnis zwischen der Orientierung an jugendlichen bzw. jugendkulturellen Abgrenzungs- und Autonomiebestrebungen einerseits und staatlich-politischen Aufgabenzuweisungen andererseits (Giesecke 1971, S. 17 ff.). Sel作者: Dawdle 時間: 2025-3-26 18:40 作者: PURG 時間: 2025-3-27 00:49 作者: gastritis 時間: 2025-3-27 02:30 作者: fledged 時間: 2025-3-27 06:42
Alberto Pettorossi,Maurizio Proietti,Sophie Renaultiche im Rahmen der wissenschaftlichen Besch?ftigung mit Kinder- und Jugendarbeit keine marginale Bedeutung zukommt. In den vorliegenden Einführungs- und Handbüchern zur Kinder- und Jugendarbeit wird Jugend ausführlich bedacht (vgl. beispielhaft Deinet/Sturzenhecker 1998, 2005; Thole 2000; für NRW au作者: indecipherable 時間: 2025-3-27 11:01
Germán Puebla,Manuel Hermenegildoiche im Rahmen der wissenschaftlichen Besch?ftigung mit Kinder- und Jugendarbeit keine marginale Bedeutung zukommt. In den vorliegenden Einführungs- und Handbüchern zur Kinder- und Jugendarbeit wird Jugend ausführlich bedacht (vgl. beispielhaft Deinet/Sturzenhecker 1998, 2005; Thole 2000; für NRW au作者: 小母馬 時間: 2025-3-27 16:03
Laurent Fribourg,Hans Olséniche im Rahmen der wissenschaftlichen Besch?ftigung mit Kinder- und Jugendarbeit keine marginale Bedeutung zukommt. In den vorliegenden Einführungs- und Handbüchern zur Kinder- und Jugendarbeit wird Jugend ausführlich bedacht (vgl. beispielhaft Deinet/Sturzenhecker 1998, 2005; Thole 2000; für NRW au作者: 違法事實 時間: 2025-3-27 18:06 作者: 仇恨 時間: 2025-3-27 22:08
Jonathan C. Martin,Andy King,Paul Sopern Ursprünge bis zum Anfang des 20. Jahrhunderts zurückreichen. So stellte nach dem ersten Weltkrieg in Deutschland die ?allgemeine“ Armut eines der am weitesten verbreiteten sozialen Ph?nomene dar. Der Einzelne war ohne staatliche und organisierte Hilfen auf sich selbst gestellt. Erst 1924 wurden Ma作者: fructose 時間: 2025-3-28 03:12
Mihhail Matskin,Jan Komorowski,John Krogstien Ursprünge bis zum Anfang des 20. Jahrhunderts zurückreichen. So stellte nach dem ersten Weltkrieg in Deutschland die ?allgemeine“ Armut eines der am weitesten verbreiteten sozialen Ph?nomene dar. Der Einzelne war ohne staatliche und organisierte Hilfen auf sich selbst gestellt. Erst 1924 wurden Ma作者: panorama 時間: 2025-3-28 07:27 作者: 空氣 時間: 2025-3-28 11:47
Enhancing partial deduction via unfold/fold rules,ue is superior to standard partial deduction. The first example refers to the automatic derivation of the Knuth-Morris-Pratt string matching algorithm, and the second example refers to the construction of a parser for a given regular expression. In both examples, the specialized programs are derived作者: 無能性 時間: 2025-3-28 15:46 作者: 怪物 時間: 2025-3-28 21:48 作者: anthropologist 時間: 2025-3-29 01:09 作者: OPINE 時間: 2025-3-29 05:49 作者: motor-unit 時間: 2025-3-29 09:51
Laurent Fribourg,Julian Richardsonhlk?mpfen nicht mehr nur als Problem der finanziellen Belastbarkeit der Bundesrepublik und ihrer Systeme der sozialen Sicherung, sondern als Problem der kulturellen überforderung der einheimischen Bev?lkerung konstruiert wurde. Die Parteistrategen erfuhren bei dieser Umdeutung Unterstützung durch Pr作者: pacifist 時間: 2025-3-29 12:04 作者: PANIC 時間: 2025-3-29 17:47
Michael Leuschel,Danny De Schreyehlk?mpfen nicht mehr nur als Problem der finanziellen Belastbarkeit der Bundesrepublik und ihrer Systeme der sozialen Sicherung, sondern als Problem der kulturellen überforderung der einheimischen Bev?lkerung konstruiert wurde. Die Parteistrategen erfuhren bei dieser Umdeutung Unterstützung durch Pr作者: Dawdle 時間: 2025-3-29 21:36 作者: 吸引人的花招 時間: 2025-3-30 02:53
Michael Leuschel,Morten Heine S?renseninen Platz in der Gesellschaft zu finden, einen angemessenen Lebensstandard aufrechtzuerhalten und sich pers?nlich weiterzuentwickeln und an die Ver?nderungen der modernen Welt anzupassen. Die individuelle Entwicklung hat wiederum Auswirkung auf das Gesellschaftssystem, das nur dann funktioniert, we作者: CRAFT 時間: 2025-3-30 05:50 作者: engrossed 時間: 2025-3-30 09:27
Jacob Brunekreefnen Niveau stattfindet. Weiter markieren die Stichworte ., aktuelle Tendenzen, die ebenfalls unabgeschlossen und in ihrer Entwicklungsrichtung weiter zu beobachten sind. Diese beiden dominierenden Tendenzen —und mit ihnen verbunden eine neue, permanent hinterfragte Relevanz und Rechtfertigung des Fe作者: Consensus 時間: 2025-3-30 14:12
Alberto Pettorossi,Maurizio Proietti,Sophie Renaultber Jugendliche, die Kinder- und Jugendarbeit nutzen. Zumindest werden die Spezifika von TeilnehmerInnenrollen in der Kinder- und Jugendarbeit zu wenig berücksichtigt. H?ufig entsteht der Eindruck: Das Wissen der Jugendforschung dient dem Diskurs zur Kinder- und Jugendarbeit dazu, mehr oder weniger 作者: insolence 時間: 2025-3-30 18:03
Germán Puebla,Manuel Hermenegildober Jugendliche, die Kinder- und Jugendarbeit nutzen. Zumindest werden die Spezifika von TeilnehmerInnenrollen in der Kinder- und Jugendarbeit zu wenig berücksichtigt. H?ufig entsteht der Eindruck: Das Wissen der Jugendforschung dient dem Diskurs zur Kinder- und Jugendarbeit dazu, mehr oder weniger 作者: 健忘癥 時間: 2025-3-30 23:08 作者: 牙齒 時間: 2025-3-31 04:13 作者: Organization 時間: 2025-3-31 05:33 作者: 聽覺 時間: 2025-3-31 12:47
Mihhail Matskin,Jan Komorowski,John Krogstieal- und Jugendarbeit oder der Sozialgesetzgebung: ?Wohlt?tigkeit, als Inbegriff individuell motivierter und normativ unterlegter Hilfe wurde durch das rechtlich kodifizierte und organisatorisch differenzierte Fürsorgewesen abgel?st, das eine rationalere, steuerbare und effektivere Leistungserbringun作者: 和平主義 時間: 2025-3-31 17:05
Logic program specialisation: How to be more specific,imple, as well as a more refined integration of these methods. Finally we illustrate the practical relevance of this approach for some advanced applications, where it surpasses the precision of current abstract interpretation techniques.作者: Locale 時間: 2025-3-31 17:45
Redundant argument filtering of logic programs,and efficient algorithms based on the approximative notion. We conduct extensive experiments with our algorithms on mechanically generated programs illustrating the practical benefits of our approach.作者: attenuate 時間: 2025-4-1 00:42 作者: 沖擊力 時間: 2025-4-1 02:03
Typed norms for typed logic programs,ions of norm which can be used to measure any term in an almost arbitrary way. We see our work on norm derivation as a contribution to the termination analysis of typed logic programs which, in particular, forms an essential part of offline partial deduction systems.作者: llibretto 時間: 2025-4-1 09:34 作者: Compass 時間: 2025-4-1 13:20
Abstract specialization and its application to program parallelization,on to automatic program parallelization in the &-Prolog compiler. Abstract executability, the main concept underlying abstract specialization, is formalized, the design of the specialization system presented, and a non-trivial example of specialization in automatic parallelization is given.
