標(biāo)題: Titlebook: Logic-Based Program Synthesis and Transformation; 21st International S Germán Vidal Conference proceedings 2012 Springer-Verlag Berlin Heid [打印本頁(yè)] 作者: onychomycosis 時(shí)間: 2025-3-21 19:17
書(shū)目名稱Logic-Based Program Synthesis and Transformation影響因子(影響力)
書(shū)目名稱Logic-Based Program Synthesis and Transformation影響因子(影響力)學(xué)科排名
書(shū)目名稱Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱Logic-Based Program Synthesis and Transformation網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱Logic-Based Program Synthesis and Transformation被引頻次
書(shū)目名稱Logic-Based Program Synthesis and Transformation被引頻次學(xué)科排名
書(shū)目名稱Logic-Based Program Synthesis and Transformation年度引用
書(shū)目名稱Logic-Based Program Synthesis and Transformation年度引用學(xué)科排名
書(shū)目名稱Logic-Based Program Synthesis and Transformation讀者反饋
書(shū)目名稱Logic-Based Program Synthesis and Transformation讀者反饋學(xué)科排名
作者: insightful 時(shí)間: 2025-3-21 21:01
Clones in Logic Programs and How to Detect Them,ode clones that could be used for various applications such as program refactoring and plagiarism recognition. Our clone detection algorithm is not tied to a particular logic programming language, and can easily be instantiated for different such languages.作者: 指數(shù) 時(shí)間: 2025-3-22 02:35
Using Real Relaxations during Program Specialization, model constructed over ?. Then, we introduce a strategy which applies the transformation rules for specializing CLP(?) programs with respect to a given query. Finally, we show that our specialization strategy can be applied for verifying properties of infinite state reactive systems specified by constraints over ?.作者: 歡樂(lè)東方 時(shí)間: 2025-3-22 06:18 作者: FUSC 時(shí)間: 2025-3-22 10:56 作者: BIBLE 時(shí)間: 2025-3-22 13:33
Resource-Driven CLP-Based Test Case Generation, to non-functional aspects of the program. As a further step, we introduce . TDG whose purpose is to guide the TDG process by taking resource consumption into account. Interestingly, given a ., TDG is guided to generate test cases that adhere to the policy and avoid the generation of test cases which violate it.作者: 一瞥 時(shí)間: 2025-3-22 21:08
A Declarative Embedding of XQuery in a Functional-Logic Language,deterministic features of functional-logic languages. As an application of this proposal we show how the typical . techniques of logic languages can be used for generating test-cases for XQuery expressions.作者: 安裝 時(shí)間: 2025-3-23 00:34
Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees,lity of the technique. In this paper we present a transformation for debugging trees for Maude specifications that ensures that any subterm occurring in a question has been previously replaced by the most reduced form that it has taken during the computation, thus ensuring that questions become as simple as possible.作者: COWER 時(shí)間: 2025-3-23 04:47 作者: 消耗 時(shí)間: 2025-3-23 06:10
A Linear Operational Semantics for Termination and Complexity Analysis of ,, such as termination and complexity analysis. We prove that our new semantics is equivalent to the .. semantics, i.e., it computes the same answer substitutions and the derivations in both semantics have essentially the same length.作者: Mast-Cell 時(shí)間: 2025-3-23 11:41 作者: aquatic 時(shí)間: 2025-3-23 15:26 作者: 一瞥 時(shí)間: 2025-3-23 18:03 作者: sultry 時(shí)間: 2025-3-24 02:13
Conference proceedings 2012cted from 28 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.作者: 爆炸 時(shí)間: 2025-3-24 04:37
0302-9743 he 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011. The 6 revised full papers presented together with 8 additional papers were carefully reviewed and selected from 28 submissions. Among the topics covered are specifi作者: perpetual 時(shí)間: 2025-3-24 08:34 作者: AWRY 時(shí)間: 2025-3-24 12:22 作者: 防御 時(shí)間: 2025-3-24 17:17 作者: Cabinet 時(shí)間: 2025-3-24 19:25
Germán VidalState of the art research.Fast track conference proceedings.Up to date results作者: Flavouring 時(shí)間: 2025-3-25 00:51
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/l/image/588095.jpg作者: tolerance 時(shí)間: 2025-3-25 03:39 作者: craving 時(shí)間: 2025-3-25 10:26
infusion regimen of each drug can be preprogrammed using pharmacokinetic simulations. These simulations are facilitated by the use of resident or on line updated pharmacokinetic model data bases. The feasibility of the preparation of the i.v. drug reservoir and the composition of the multistep infus作者: DAMP 時(shí)間: 2025-3-25 12:28
John P. Gallagherinfusion regimen of each drug can be preprogrammed using pharmacokinetic simulations. These simulations are facilitated by the use of resident or on line updated pharmacokinetic model data bases. The feasibility of the preparation of the i.v. drug reservoir and the composition of the multistep infus作者: 無(wú)意 時(shí)間: 2025-3-25 18:15
Fritz Hengleinheld in Maastricht, The Netherlands, 16-18 March 1989. This workshop was sponsored by the EC under the framework of the Medical and Health Research Programme. The aim of the workshop was to assess whether there was sufficient support in the Medical Informatics community in the EC to establish a conc作者: 諄諄教誨 時(shí)間: 2025-3-25 22:23 作者: 自制 時(shí)間: 2025-3-26 01:12
Jesús M. Almendros-Jiménez,Rafael Caballero,Yolanda García-Ruiz,Fernando Sáenz-Pérezf collaborative learning. In addition, it highlights the importance of socially shared regulation in collaborative learning, and illustrates in detail how it can be analyzed and promoted..The book investigates several innovative examples, including: Methodological approaches to studying and analyzin作者: Glutinous 時(shí)間: 2025-3-26 04:58
Pedro Cabalar,Stéphane Demrillaborative inquiry learning. The 196 participants were taken from Grade 4 in four elementary schools in China. They were randomly assigned into 48 groups by their teachers. For each school, there were 12 groups who conducted collaborative inquiry learning face-to-face and online for 3?months. By th作者: BOOM 時(shí)間: 2025-3-26 10:35 作者: RAFF 時(shí)間: 2025-3-26 13:22 作者: Cubicle 時(shí)間: 2025-3-26 20:46
Fabio Fioravanti,Alberto Pettorossi,Maurizio Proietti,Valerio Sennihave tried to shed light on the role of knowledge accumulation, size and network—or cluster—production in the performance of firms, in view of the increased internationalization and technological progress that have characterized the last decades. To achieve this end, we conducted a number of empiric作者: 極少 時(shí)間: 2025-3-26 22:12 作者: CHIDE 時(shí)間: 2025-3-27 01:14
José F. Morales,Manuel V. Hermenegildo,Rémy Haemmerlé theory..Develops and deepens discussion on the virtuous eff.The book builds on an important emergent body of discussion which questions, both empirically and theoretically, the conventional neoclassical doctrine that economies are more efficient if the state withdraws from it.? It develops a “space作者: aggrieve 時(shí)間: 2025-3-27 07:34
Paulo Moura theory..Develops and deepens discussion on the virtuous eff.The book builds on an important emergent body of discussion which questions, both empirically and theoretically, the conventional neoclassical doctrine that economies are more efficient if the state withdraws from it.? It develops a “space作者: CURL 時(shí)間: 2025-3-27 12:35
Hirohisa Sekig, writing and oral skills as part of a blended methodology for language teaching known as LAPLI (.: The Language Learning Lab). LAPLI is a student-centred and collaborative methodology which encourages students to challenge their limitations and expand their current knowledge whilst developing thei作者: exhilaration 時(shí)間: 2025-3-27 14:16 作者: monologue 時(shí)間: 2025-3-27 17:45 作者: 過(guò)去分詞 時(shí)間: 2025-3-27 22:24 作者: headway 時(shí)間: 2025-3-28 05:56 作者: 非實(shí)體 時(shí)間: 2025-3-28 07:49 作者: Terrace 時(shí)間: 2025-3-28 14:08
Resource-Driven CLP-Based Test Case Generation, the program. In this paper, we propose . TDG, whose purpose is to generate test cases (from which the test inputs are obtained) with associated .s. The framework is parametric w.r.t. the notion of resource (it can measure memory, steps, etc.) and allows using software testing to detect bugs related作者: 騎師 時(shí)間: 2025-3-28 18:21
A Declarative Embedding of XQuery in a Functional-Logic Language, queries are evaluated by an interpreter, and the declarative nature of the proposal allows us to prove correctness and completeness with respect to the semantics of the subset of XQuery considered. The different fragments of XML that can be produced by XQuery expressions are obtained using the non-作者: 膽大 時(shí)間: 2025-3-28 22:19 作者: 陳舊 時(shí)間: 2025-3-29 02:31 作者: Mast-Cell 時(shí)間: 2025-3-29 04:19
Clones in Logic Programs and How to Detect Them,gramming. Informally, two code fragments are considered as cloned if they implement the same functionality. Clone detection can be advantageous from a software engineering viewpoint, as the presence of code clones inside a program reveals redundancy, broadly considered a “bad smell”. In the paper, w作者: GNAW 時(shí)間: 2025-3-29 10:35 作者: 與野獸博斗者 時(shí)間: 2025-3-29 12:20 作者: Affirm 時(shí)間: 2025-3-29 17:14 作者: 難管 時(shí)間: 2025-3-29 20:37 作者: 運(yùn)動(dòng)的我 時(shí)間: 2025-3-30 03:54 作者: Herd-Immunity 時(shí)間: 2025-3-30 05:56 作者: 辭職 時(shí)間: 2025-3-30 12:15 作者: 抓住他投降 時(shí)間: 2025-3-30 13:57
Probabilistic Termination of CHRiSM Programs,Programming languages have become increasingly important. Languages like PRISM, CP-Logic, ProbLog, and . have been introduced and proved very useful for addressing problems in which a combination of logical and probabilistic reasoning is required. As far as we know, the termination of probabilistic 作者: 內(nèi)疚 時(shí)間: 2025-3-30 18:06 作者: Fracture 時(shí)間: 2025-3-30 21:30 作者: Abjure 時(shí)間: 2025-3-31 02:18 作者: Allergic 時(shí)間: 2025-3-31 07:01 作者: 偉大 時(shí)間: 2025-3-31 12:25
Elvira Albert,Miguel Gómez-Zamalloa,José Miguel RojasS). Each DAS can be retrieved for immediate execution. Preprogrammed or on line coordinated actions between IDs are available according to external events or any calculation made from the IS parameters. Due to a local communication net, the PC use for other tasks can be ruled out during a DAS execut
