標(biāo)題: Titlebook: Logic Program Synthesis and Transformation; Proceedings of LOPST Yves Deville (Chair) Conference proceedings 1994 British Computer Society [打印本頁(yè)] 作者: concord 時(shí)間: 2025-3-21 20:05
書(shū)目名稱Logic Program Synthesis and Transformation影響因子(影響力)
書(shū)目名稱Logic Program Synthesis and Transformation影響因子(影響力)學(xué)科排名
書(shū)目名稱Logic Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Logic Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Logic Program Synthesis and Transformation被引頻次
書(shū)目名稱Logic Program Synthesis and Transformation被引頻次學(xué)科排名
書(shū)目名稱Logic Program Synthesis and Transformation年度引用
書(shū)目名稱Logic Program Synthesis and Transformation年度引用學(xué)科排名
書(shū)目名稱Logic Program Synthesis and Transformation讀者反饋
書(shū)目名稱Logic Program Synthesis and Transformation讀者反饋學(xué)科排名
作者: braggadocio 時(shí)間: 2025-3-21 23:32 作者: BIPED 時(shí)間: 2025-3-22 00:26
Kung-Kiu Lau,Mario Ornaghid auf unterschiedlichen Aspekten des Themas dieser Arbeit liegen. So mache ich mir anhand des ersten und zweiten Textes einige Gedanken über die kommunikativen Ziele des jeweiligen Produzenten parallel zu seinen Einstellungen. Dies geschieht vor allem unter dem Blickwinkel der Struktur des konnektiv作者: GUILE 時(shí)間: 2025-3-22 05:46 作者: harpsichord 時(shí)間: 2025-3-22 11:43
Marko Grobelnikkürzung auf textimmanente bzw. positivistisch-soziologische Verfahren verhindern. Es wird darauf ankommen, so hei?t es bei Hickethier u. a. stellvertretend auch für andere Mediendidaktiker, bei ?Untersuchungen der Inhalte der Massenkommunikation … grunds?tzlich die Seite der Empf?nger und der Sender作者: Verify 時(shí)間: 2025-3-22 13:05 作者: ethnology 時(shí)間: 2025-3-22 18:35
Vincent Lombart,Geraint Wiggins,Yves Devilletzbar zu machen. Der Sp?tkapitalismus braucht Menschen mit neuen Qualit?ten wie Ichst?rke, Entscheidungsfreude, Verantwortungsbewu?tsein — wie ihn F. J. Degenhardt beschreibt ?der aus Industriekreisen, enddrei?ig“ — progressiv, dynamisch, mit Phantasie — aber sachlich!“ Um diese Eigenschaften zu ent作者: 懸掛 時(shí)間: 2025-3-23 01:17
María Vargas-Vera,Dave Robertson,Robert Inderue Impulse, da auch die Reformp?dagogik um die Jahrhundertwende mit ihrer Ideologie vom Reich der Kindheit nur die Kindertümlichkeit in den illusionistischen Stücken f?rderte. 1917 geht zum ersten Mal die Theaterarbeit von den Erwartungen, dem Aufnahmeverm?gen und den Anregungen der Kinder aus. Prof作者: Esophagus 時(shí)間: 2025-3-23 03:09
Wamberto Weber Vasconcelosgen wurde. Und auch für die gefühlsm??igen Bin- dungen war "in einem sehr dichten und warmen ‘Milieu‘, das sich aus Nachbarn, Freunden, Herren und Dienern, Kindern und Greisen, M?nnern und Frauen zusammensetzte", gesorgt (Aries 1975, S. 47)1. Seine zweite These bezieht sich auf das Aufkommen der Industriegese978-3-8100-2243-1978-3-322-95134-2作者: microscopic 時(shí)間: 2025-3-23 09:31 作者: 疏遠(yuǎn)天際 時(shí)間: 2025-3-23 10:25
D. A. de Waalematisierung mit Fortbildungsvorschl?gen statt: Fortbildung im Bereich Kinderpsychologie, Familientherapie usw. — dies steht im Zusammenhang mit einer Hebamment?tigkeit, die wohl dort anders gesehen wird. (Zum Beispiel ist an einigen Hebammenschulen in England ein Praktikum in der Sozialarbeit vorge作者: 說(shuō)不出 時(shí)間: 2025-3-23 15:42
C. A. Gurrematisierung mit Fortbildungsvorschl?gen statt: Fortbildung im Bereich Kinderpsychologie, Familientherapie usw. — dies steht im Zusammenhang mit einer Hebamment?tigkeit, die wohl dort anders gesehen wird. (Zum Beispiel ist an einigen Hebammenschulen in England ein Praktikum in der Sozialarbeit vorge作者: 愛(ài)花花兒憤怒 時(shí)間: 2025-3-23 20:32
Maurizio Proietti,Alberto Pettorossiematisierung mit Fortbildungsvorschl?gen statt: Fortbildung im Bereich Kinderpsychologie, Familientherapie usw. — dies steht im Zusammenhang mit einer Hebamment?tigkeit, die wohl dort anders gesehen wird. (Zum Beispiel ist an einigen Hebammenschulen in England ein Praktikum in der Sozialarbeit vorge作者: 諂媚于人 時(shí)間: 2025-3-24 00:32
Bern Martens,Danny De Schreyeematisierung mit Fortbildungsvorschl?gen statt: Fortbildung im Bereich Kinderpsychologie, Familientherapie usw. — dies steht im Zusammenhang mit einer Hebamment?tigkeit, die wohl dort anders gesehen wird. (Zum Beispiel ist an einigen Hebammenschulen in England ein Praktikum in der Sozialarbeit vorge作者: Charitable 時(shí)間: 2025-3-24 04:54 作者: 組成 時(shí)間: 2025-3-24 10:08 作者: 起皺紋 時(shí)間: 2025-3-24 11:21 作者: 控訴 時(shí)間: 2025-3-24 15:51
1431-1682 ects of software develop- ment including: deductive synthesis, inductive synthesis, transforma- tions for optimizing programs and exploiting parallelism, progra978-3-540-19864-2978-1-4471-3234-9Series ISSN 1431-1682 作者: 無(wú)所不知 時(shí)間: 2025-3-24 19:58
Synthesis of Programs from Unfold/Fold Proofs,am P and an equivalence formula of the form: ?X (?Y F(X,Y) ? ?Z (H(X,Z), newp(X,Z))), where F and H contain predicates defined in P and newp is a predicate symbol . occurring in P. We want to synthesize a set of clauses, say Eureka, such that the above equivalence formula is true in the least Herbra作者: Intercept 時(shí)間: 2025-3-24 23:37
Mechanical Transformation of Logic Definitions augmented with Type Information into Prolog Procedurseveral (more or less clever) ways to combine type and mode information to help the analyser finding solutions, (2) explicit type checking can be avoided most of the time at run-time, (3) the analyser is able to find multidirectional procedures in many cases, (4) . constraints are useful to find mor作者: 吞噬 時(shí)間: 2025-3-25 06:59
Conference proceedings 1994 natural intersection of these two fields of research has been the focus of the LOPSTR workshops. The papers in this volume address many aspects of software develop- ment including: deductive synthesis, inductive synthesis, transforma- tions for optimizing programs and exploiting parallelism, progra作者: 傷心 時(shí)間: 2025-3-25 09:20
eflektiert. Im folgenden wird auf der Basis dieser Diskussion ein Ansatz von Grundschul- und Kindheitsforschung vorgestellt, der das Nebeneinander beider disziplin?rer Zug?nge zu Kindern, Kindheit und Lernen aufhebt und zugunsten einer interdisziplin?ren Forschung weiterentwickelt, welche die Komple作者: 挖掘 時(shí)間: 2025-3-25 13:12
Douglas R. Smitheflektiert. Im folgenden wird auf der Basis dieser Diskussion ein Ansatz von Grundschul- und Kindheitsforschung vorgestellt, der das Nebeneinander beider disziplin?rer Zug?nge zu Kindern, Kindheit und Lernen aufhebt und zugunsten einer interdisziplin?ren Forschung weiterentwickelt, welche die Komple作者: Patrimony 時(shí)間: 2025-3-25 18:39 作者: 使長(zhǎng)胖 時(shí)間: 2025-3-25 21:24 作者: 環(huán)形 時(shí)間: 2025-3-26 02:40 作者: LITHE 時(shí)間: 2025-3-26 05:27
Peter Madden,Jane Hesketh,Ian Green,Alan Bundy damit auch eine intensive Diskussion über die Probleme einer Einbeziehung audiovisueller Texte (2) im Unterricht des Faches Deutsch und anderer F?cher eingeleitet. Die meisten mediendidaktisch interessierten Diskussionsteilnehmer sind sich im gro?en und ganzen darüber einig, eine nur quantitative E作者: FECT 時(shí)間: 2025-3-26 11:25 作者: 表兩個(gè) 時(shí)間: 2025-3-26 14:11
María Vargas-Vera,Dave Robertson,Robert Inderd Requisiten bedienen sowie an ein Publikum bis etwa 14 Jahren wenden. Die Anf?nge wurzeln im didaktischen Theater der Aufkl?rung, das durch mimische Aufarbeitungen den Schulunterricht zu bereichern versuchte. Kinder spielen Theater für Kinder. Im 19. Jahrhundert entwickelt sich aus der Kinderkom?di作者: Exterior 時(shí)間: 2025-3-26 20:26
Wamberto Weber Vasconcelos seines Buches Geschichte der Kindheit in den 13 Jahren nach dem ersten Erscheinen (vgl. Aries 1975, S. 45-65), und er fa?t sein Anliegen zu den "Debatten über das Kind, die Familie und die Jugend, die inzwischen geführt wurden" (Aries 1975, S. 45), unter zwei Thesen zusammen. In frü- herer Zeit war作者: fulcrum 時(shí)間: 2025-3-26 21:58 作者: ARCHE 時(shí)間: 2025-3-27 03:57 作者: 食品室 時(shí)間: 2025-3-27 06:40
C. A. Gurrstanden dadurch, dass ich meinen Berufsinhalt als freiberuflich t?tige Hebamme in der umfassenden Betreuung schwangerer Frauen, werdender Eltern und Familien mit Neugeborenen sehe — als Einheit. Kinder alleine als Berufsinhalt erschienen mir fern bzw. nicht meine Realit?t. Ich begann Bücher, Aufs?tz作者: Modicum 時(shí)間: 2025-3-27 10:57
Maurizio Proietti,Alberto Pettorossistanden dadurch, dass ich meinen Berufsinhalt als freiberuflich t?tige Hebamme in der umfassenden Betreuung schwangerer Frauen, werdender Eltern und Familien mit Neugeborenen sehe — als Einheit. Kinder alleine als Berufsinhalt erschienen mir fern bzw. nicht meine Realit?t. Ich begann Bücher, Aufs?tz作者: 忍耐 時(shí)間: 2025-3-27 16:24
Bern Martens,Danny De Schreyestanden dadurch, dass ich meinen Berufsinhalt als freiberuflich t?tige Hebamme in der umfassenden Betreuung schwangerer Frauen, werdender Eltern und Familien mit Neugeborenen sehe — als Einheit. Kinder alleine als Berufsinhalt erschienen mir fern bzw. nicht meine Realit?t. Ich begann Bücher, Aufs?tz作者: TSH582 時(shí)間: 2025-3-27 20:15
Paul Tarau,Koen De Bosscheregeschr?nkt, n?mlich lediglich vor dem Anschauungssubstrat westlicher demokratisch-kapitalistischer Industriegesellschaften gewonnen. Kindheit in anderen Weltregionen ist dagegen weder in historischer noch gegenwartsbezogener Orientierung für die Theoriekonstruktion wichtig geworden. Das gilt für bei作者: 死亡率 時(shí)間: 2025-3-28 00:04
Dmitri Boulanger,Maurice Bruynoogheoduzieren sucht, sie sucht ?in ihre Produktionsweisen und das System ihres Verkehrs einzuführen, ihre Werte zu vermitteln“ (a.a.O.S. 63); zum anderen werden so historisch wechselnde, der gesellschaftlich-generationalen Ordnung(svorstellung) korrespondierende Blicke auf das Kind, d.h. Kindheitsbilder作者: 斗爭(zhēng) 時(shí)間: 2025-3-28 02:30 作者: 空中 時(shí)間: 2025-3-28 06:33
Toward the Synthesis of Constraint Propagation Algorithms,dle richer data structures in a manner consistent with the nondeterministic and relational style of logic programming. It was realized early on that ordinary unification was equation solving over trees. From there it was a natural step to allow equation solving over more complex structures (e.g. lis作者: hypnotic 時(shí)間: 2025-3-28 12:06 作者: Obsequious 時(shí)間: 2025-3-28 16:25
Inductive Synthesis of Logic Programs and Inductive Logic Programming, methods (Shapiro’s MIS and Plotkin’s least general generalizations) which have set the foundations of the field and inspired more recent top-down and bottom-up approaches, respectively. Recent research has suggested that practical program induction requires a hypothesis space which is restricted a 作者: 完成才會(huì)征服 時(shí)間: 2025-3-28 22:10
Induction of Prolog programs with Markus,he current version of the system uses as its basis ’covering’ paradigm (also used by some other systems, e.g. Quinlan’s .). Within this paradigm, the development of single program clauses is performed by iterative deepening search of optimally generated refinement graphs (also used in Shapiro’s Mode作者: 免費(fèi) 時(shí)間: 2025-3-28 23:07 作者: 陶醉 時(shí)間: 2025-3-29 05:49
Guiding Synthesis Proofs,yster/CLAM system, designed for a functional context, we developed some proof “critics” to solve the cases in which those methods are blocked in a relational context. The application of those methods and proof critics is illustrated by an example, the delete predicate synthesis.作者: CLOWN 時(shí)間: 2025-3-29 08:28
Combining Prolog Programs in a Techniques Editing System (Abstract),and tools embodying it are easily implemented. Based upon this methodology, we have developed [VVVR93] a system to construct modular large-scale Prolog programs using a techniques editing system and program combination. This integrated environment allows users to:作者: accessory 時(shí)間: 2025-3-29 11:55 作者: 控制 時(shí)間: 2025-3-29 16:26
The Power of Partial Evaluation,ell-designed reimplementation of the theorem prover. We take the clausal theorem prover given by Poole and Goebel in [17], and show that partial evaluation of this prover (written as a meta-program) with respect to some object theory, does not give the required specialisation. We then give a version作者: stressors 時(shí)間: 2025-3-29 22:58 作者: SMART 時(shí)間: 2025-3-29 23:56
Synthesis of Programs from Unfold/Fold Proofs,describe a program transformation method based on the . which can be used for proving that a given first order equivalence formula of the form: ?X (?Y F(X,Y) ? ?Z G(X,Z)), where F and G are conjunctions of atoms, is true in the least Herbrand model of a given program. Equivalence formulas of that fo作者: 鞏固 時(shí)間: 2025-3-30 07:01 作者: relieve 時(shí)間: 2025-3-30 08:19 作者: 審問(wèn) 時(shí)間: 2025-3-30 12:46
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model,in a framework called the basic Andorra model, which allows (dependent) and-parallelism among determinate goals as well as or-parallelism. We show that it is possible to extend this model in order to also allow and-parallelism among independent, nondeterminate goals, thus supporting full independent作者: 枯燥 時(shí)間: 2025-3-30 20:25
Memoing with Abstract Answers and Delphi Lemmas,er obtained by replicating the steps of the derivation, except the first one. After describing a meta-interpreter returning abstract answers we derive a class of program transformations that compute them more efficiently. Abstract answers are ideal lemmas as their `hit rate’ is much higher than in t作者: 武器 時(shí)間: 2025-3-30 23:20 作者: 哥哥噴涌而出 時(shí)間: 2025-3-31 02:20
Mechanical Transformation of Logic Definitions augmented with Type Information into Prolog Procedurcedures. The presented static analyser can be used in a final transformation component of a logic program synthesis system such as the systems described in [8, 18]. The paper recalls the notion of a logic description and discusses how type information can be used to relate the logic description to i作者: outskirts 時(shí)間: 2025-3-31 07:10
Using Abstract Interpretation for Goal Replacement,e well known unfold/fold and goal replacement transformations of Tamaki and Sato which are based upon goal replacement in the bodies of clauses. The transformation of a program is controlled by a complete abstract OLDT-like tree. The transformation operations include unfolding/folding and goal replacement.作者: 強(qiáng)制令 時(shí)間: 2025-3-31 10:27 作者: Trochlea 時(shí)間: 2025-3-31 15:19 作者: Confidential 時(shí)間: 2025-3-31 17:47
The Power of Partial Evaluation, of this meta-program that is amenable to specialisation and show that partial evaluation of this program with respect to some object theory can give results comparable to the results obtained by a special purpose analysis.作者: 圍巾 時(shí)間: 2025-4-1 00:16
A Transformation Based on the Equality between Terms,of existential variables in programs using difference lists and accumulators, reduction of the number of occur-checks, interprocedural register allocation when executed on the WAM, linearization of recursions, optimization of continuation-like user data structures.作者: ELUC 時(shí)間: 2025-4-1 03:00 作者: AMEND 時(shí)間: 2025-4-1 06:52
,Specialising the Ground Representation in the Logic Programming Language G?del,ms have the advantage of having a declarative semantics and can be optimised by program specialisation, to execute in a time comparable to equivalent Prolog meta-programs which use a non-ground representation.
