標題: Titlebook: Mathematics of Program Construction; 8th International Co Tarmo Uustalu Conference proceedings 2006 Springer-Verlag Berlin Heidelberg 2006 [打印本頁] 作者: BROOD 時間: 2025-3-21 16:15
書目名稱Mathematics of Program Construction影響因子(影響力)
書目名稱Mathematics of Program Construction影響因子(影響力)學科排名
書目名稱Mathematics of Program Construction網(wǎng)絡(luò)公開度
書目名稱Mathematics of Program Construction網(wǎng)絡(luò)公開度學科排名
書目名稱Mathematics of Program Construction被引頻次
書目名稱Mathematics of Program Construction被引頻次學科排名
書目名稱Mathematics of Program Construction年度引用
書目名稱Mathematics of Program Construction年度引用學科排名
書目名稱Mathematics of Program Construction讀者反饋
書目名稱Mathematics of Program Construction讀者反饋學科排名
作者: 擴張 時間: 2025-3-21 21:43
Refunctionalization at Worked or it could be the deliberate result of a form of “firstification” such as closure conversion, (super)combinator conversion, or defunctionalization. In the latter case, they are higher-order programs in disguise, just as iterative programs with accumulators are often recursive programs in disguis作者: Habituate 時間: 2025-3-22 00:55
Towards Generic Programming with Sized Typesf the instantiation type. In practice, the programs obtained from a generic program are usually terminating, but the proof of termination cannot be carried out with traditional methods as term orderings alone, since termination often crucially relies on the program type. This problem is tackled by a作者: Lobotomy 時間: 2025-3-22 07:32 作者: INERT 時間: 2025-3-22 09:50 作者: MODE 時間: 2025-3-22 14:34 作者: frenzy 時間: 2025-3-22 18:05 作者: 法律 時間: 2025-3-22 22:23
Loopless Functional Algorithmsch subsequent element in constant time. Loopless algorithms arise in the enumeration of combinatorial patterns such as permutations or subsequences. The elements of the generated list describe transitions that determine how the next combinatorial pattern is to be determined from its predecessor. Loo作者: 嬰兒 時間: 2025-3-23 05:26 作者: 謊言 時間: 2025-3-23 06:11
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guardss form an extension to the calculational method of Feijen and van Gasteren using a UNITY style progress logic. We stress the role of stable guards, and we illustrate the derivation techniques on some examples in which progress plays an essential role.作者: CUB 時間: 2025-3-23 10:01
Fission for Program Comprehension transformation, in reverse: creating structure, ex?nihilo. We explore the use of fission for ., that is, for reconstructing the design of a program from its implementation. We illustrate through rational reconstructions of the designs for three different C?programs that count the words in a text fi作者: 揉雜 時間: 2025-3-23 17:05
“Scrap Your Boilerplate” Revolutionsuction on the structure of types. “Scrap your boilerplate” (SYB) is a radically different approach that dispatches on the structure of values. In previous work, we have shown how to reconcile both approaches using the concept of generic views: many generic functions can be based either on the classi作者: 古代 時間: 2025-3-23 18:54
Generic Views on Data TypesyP a pattern functor gives the structure of a data type viewed as a fixed point, and in Generic Haskell a structural representation type gives an isomorphic type view of a data type in terms of sums of products. Depending on this generic view on the structure of data types, some generic functions ar作者: 熱心助人 時間: 2025-3-23 22:21 作者: antenna 時間: 2025-3-24 02:47
Bimonadic Semantics for Basic Pattern Matching Calculi modelling of non-strict pattern matching..While related work in the literature only uses a single monad, typically ., for matchings, we present an axiomatic approach to semantics of these pattern matching calculi using two monads, one for expressions and one for matchings..Although these two monads作者: osteopath 時間: 2025-3-24 09:19 作者: temperate 時間: 2025-3-24 14:09 作者: 步兵 時間: 2025-3-24 17:44 作者: critic 時間: 2025-3-24 21:31 作者: figure 時間: 2025-3-25 02:26
Andreas Abelurich, .) has solved a long standing problem of General Relativity of evolutionary formation of trapped surfaces in the Einstein-vacuum space-times. He has identified an open set of regular initial conditions on a finite outgoing null hypersurface leading to a formation a trapped surface in the corr作者: FATAL 時間: 2025-3-25 04:51
Kamal Aboul-Hosn,Dexter Kozencellent textbook for a first course in modern analysis or asThe purpose of this book is to present typical methods (including rescaling methods) for the examination of the behavior of solutions of nonlinear partial di?erential equations of di?usion type. For instance, we examine such eq- tions by an作者: osteocytes 時間: 2025-3-25 07:37
Philippe Audebaud,Christine Paulin-Mohringtial di?erential equations of di?usion type. For instance, we examine such eq- tions by analyzing special so-called self-similar solutions. We are in particular interested in equations describing various phenomena such as the Navier– Stokesequations.Therescalingmethod describedherecanalsobeinterpret作者: ALB 時間: 2025-3-25 11:39
Roland Backhouse,Diethard Michaelistial di?erential equations of di?usion type. For instance, we examine such eq- tions by analyzing special so-called self-similar solutions. We are in particular interested in equations describing various phenomena such as the Navier– Stokesequations.Therescalingmethod describedherecanalsobeinterpret作者: debble 時間: 2025-3-25 17:29
Richard S. Birdcellent textbook for a first course in modern analysis or asThe purpose of this book is to present typical methods (including rescaling methods) for the examination of the behavior of solutions of nonlinear partial di?erential equations of di?usion type. For instance, we examine such eq- tions by an作者: Gorilla 時間: 2025-3-25 21:05
Richard S. Birdcellent textbook for a first course in modern analysis or asThe purpose of this book is to present typical methods (including rescaling methods) for the examination of the behavior of solutions of nonlinear partial di?erential equations of di?usion type. For instance, we examine such eq- tions by an作者: evasive 時間: 2025-3-26 02:52
Yifeng Chen,J. W. Sanderscellent textbook for a first course in modern analysis or asThe purpose of this book is to present typical methods (including rescaling methods) for the examination of the behavior of solutions of nonlinear partial di?erential equations of di?usion type. For instance, we examine such eq- tions by an作者: 不感興趣 時間: 2025-3-26 04:30
Brijesh Dongol,Arjan J. Mooijcellent textbook for a first course in modern analysis or asThe purpose of this book is to present typical methods (including rescaling methods) for the examination of the behavior of solutions of nonlinear partial di?erential equations of di?usion type. For instance, we examine such eq- tions by an作者: magnanimity 時間: 2025-3-26 10:50 作者: 潛伏期 時間: 2025-3-26 13:45 作者: Enzyme 時間: 2025-3-26 18:51 作者: 和音 時間: 2025-3-26 22:43 作者: 外露 時間: 2025-3-27 01:13 作者: HATCH 時間: 2025-3-27 05:26
Improving Saddleback Search: A Lesson in Algorithm Design a simple and effective algorithm for searching an ordered table. In this paper we revisit the problem and show that saddleback search is not in fact the best algorithm when one dimension of the table is much smaller than the other. The paper is structured in the form of a classroom discussion involving a teacher and four very clever students.作者: 激勵 時間: 2025-3-27 09:47 作者: 客觀 時間: 2025-3-27 17:38 作者: AORTA 時間: 2025-3-27 21:48 作者: Yag-Capsulotomy 時間: 2025-3-27 22:35
978-3-540-35631-8Springer-Verlag Berlin Heidelberg 2006作者: evaculate 時間: 2025-3-28 05:47
Mathematics of Program Construction978-3-540-35632-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Fluctuate 時間: 2025-3-28 07:19 作者: Cultivate 時間: 2025-3-28 13:04 作者: 議程 時間: 2025-3-28 15:09 作者: 方舟 時間: 2025-3-28 19:03
https://doi.org/10.1007/11783596Coq; algorithm; algorithmics; algorithms; correct software; dynamic programming; formal methods; generic pr作者: 冷淡周邊 時間: 2025-3-28 23:39
Kamal Aboul-Hosn,Dexter Kozennder a scaling transformationthat does not change the equation. For several typical equations we shall give mathematical proofs that certain self-similar solutions asymptotically approximate the typical behavio978-0-8176-4651-6Series ISSN 1421-1750 Series E-ISSN 2374-0280 作者: Abjure 時間: 2025-3-29 06:05
Richard S. Birdnder a scaling transformationthat does not change the equation. For several typical equations we shall give mathematical proofs that certain self-similar solutions asymptotically approximate the typical behavio978-0-8176-4651-6Series ISSN 1421-1750 Series E-ISSN 2374-0280 作者: 權(quán)宜之計 時間: 2025-3-29 10:55 作者: 名字的誤用 時間: 2025-3-29 13:22 作者: Gobble 時間: 2025-3-29 18:09 作者: definition 時間: 2025-3-29 20:55
Jeremy Gibbonsnder a scaling transformationthat does not change the equation. For several typical equations we shall give mathematical proofs that certain self-similar solutions asymptotically approximate the typical behavio978-0-8176-4651-6Series ISSN 1421-1750 Series E-ISSN 2374-0280 作者: entice 時間: 2025-3-30 01:01 作者: 犬儒主義者 時間: 2025-3-30 05:06
Jevgeni Kabanov,Varmo Venender a scaling transformationthat does not change the equation. For several typical equations we shall give mathematical proofs that certain self-similar solutions asymptotically approximate the typical behavio978-0-8176-4651-6Series ISSN 1421-1750 Series E-ISSN 2374-0280 作者: SLAG 時間: 2025-3-30 11:15
Pavel Avgustinov,Eric Bodden,Elnar Hajiyev,Oege de Moor,Neil Ongkingco,Damien Sereni,Ganesh Sittampa作者: Hallmark 時間: 2025-3-30 12:41 作者: Influx 時間: 2025-3-30 19:44
Robin Cocketton are also given. For the elliptic equation in ?. an infinite number of radially symmetric positive solutions are constructed and are applied to a special model arising from differential geometry and applied physics. In addition, a Dirichlet boundary-value problem in a general unbounded domain is c作者: monochromatic 時間: 2025-3-31 00:01 作者: 追逐 時間: 2025-3-31 03:02 作者: Irksome 時間: 2025-3-31 05:34
Roland Backhouse,Diethard Michaelislf-similar solutions. A self-similar solution is, roughly speaking, a solution invariant under a scaling transformationthat does not change the equation. For several typical equations we shall give mathematical proofs that certain self-similar solutions asymptotically approximate the typical behavio作者: Madrigal 時間: 2025-3-31 12:07
Ralf Hinze,Andres L?hlf-similar solutions. A self-similar solution is, roughly speaking, a solution invariant under a scaling transformationthat does not change the equation. For several typical equations we shall give mathematical proofs that certain self-similar solutions asymptotically approximate the typical behavio作者: 躲債 時間: 2025-3-31 15:30
Refunctionalization at Worke our earlier characterization of what it means to be in defunctionalized form [3], and to investigate how one can tease a first-order program into defunctionalized form. On the way, we present a variety of independently known programs that are in (or can be teased into) defunctionalized form, and w作者: 愛花花兒憤怒 時間: 2025-3-31 19:08 作者: N斯巴達人 時間: 2025-3-31 22:20
A Datastructure for Iterated Powersd to prove this extraction correct. Here, we use the “refined conventional iteration” from the cited article for the extraction and describe a verification that has been formally verified inside Coq with its predicative notion of set.作者: maladorit 時間: 2025-4-1 05:34 作者: SPURN 時間: 2025-4-1 07:40 作者: 寬大 時間: 2025-4-1 12:14
Towards Generic Programming with Sized Typesrried out with traditional methods as term orderings alone, since termination often crucially relies on the program type. This problem is tackled by an adaption of type-based termination to generic programming, and a framework for sized polytypic programming is described.作者: 修飾語 時間: 2025-4-1 16:09
Relational Semantics for Higher-Order Programsed to avoid these complications. We provide a natural relational semantics for a programming language with higher-order functions. The semantics is purely compositional, with all contextual considerations completely encapsulated in the state. We show several equivalence proofs using this semantics based on examples of Meyer and Sieber (1988).作者: 完成才會征服 時間: 2025-4-1 19:57
