標(biāo)題: Titlebook: Mathematics of Program Construction; 12th International C Ralf Hinze,Janis Voigtl?nder Conference proceedings 2015 Springer International P [打印本頁(yè)] 作者: gingerly 時(shí)間: 2025-3-21 19:47
書(shū)目名稱(chēng)Mathematics of Program Construction影響因子(影響力)
書(shū)目名稱(chēng)Mathematics of Program Construction影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Mathematics of Program Construction網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Mathematics of Program Construction網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Mathematics of Program Construction被引頻次
書(shū)目名稱(chēng)Mathematics of Program Construction被引頻次學(xué)科排名
書(shū)目名稱(chēng)Mathematics of Program Construction年度引用
書(shū)目名稱(chēng)Mathematics of Program Construction年度引用學(xué)科排名
書(shū)目名稱(chēng)Mathematics of Program Construction讀者反饋
書(shū)目名稱(chēng)Mathematics of Program Construction讀者反饋學(xué)科排名
作者: Minuet 時(shí)間: 2025-3-21 21:43 作者: 偏狂癥 時(shí)間: 2025-3-22 01:39
Conference proceedings 2015nter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program作者: Madrigal 時(shí)間: 2025-3-22 04:42
Polynomial Functors Constrained by Regular Expressions,its .. Using our framework, we are able to unify and lend new perspective on this previous work. For example, it turns out that dissection of polynomial functors corresponds to taking . of real or complex functions, and, guided by this parallel, we show how to generalize binary dissection to .-ary dissection.作者: vocation 時(shí)間: 2025-3-22 09:34
,Notions of Bidirectional Computation and?Entangled?State Monads,ional transformations with effects. We build on the mature theory of monadic encapsulation of effects in functional programming, develop the equational theory and important combinators for effectful bx, and provide a prototype implementation in Haskell along with several illustrative examples.作者: 不透明 時(shí)間: 2025-3-22 14:49
A Clear Picture of Lens Laws,similar to the process of taking a good picture..By showing that it is exactly the backward computation which defines lenses of a certain standard class, we provide an unusual perspective, as contemporary research tends to focus on the forward computation.作者: Agronomy 時(shí)間: 2025-3-22 19:14 作者: 多山 時(shí)間: 2025-3-22 22:22 作者: 漂泊 時(shí)間: 2025-3-23 03:20 作者: 分期付款 時(shí)間: 2025-3-23 07:15 作者: 破裂 時(shí)間: 2025-3-23 10:21
Conference proceedings 2015bmissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.作者: FLOUR 時(shí)間: 2025-3-23 16:38 作者: ORBIT 時(shí)間: 2025-3-23 20:31 作者: Affection 時(shí)間: 2025-3-23 23:51
Column-Wise Extendible Vector Expressions and the Relational Computation of Sets of Sets,tly, this is a lot simpler. The transition from the inclusions to the desired vector expression of type . is then immediately possible by means of a general result. We apply the technique to some examples from different areas and show how the solutions behave with regard to running time if implemented and evaluated by the Kiel . tool.作者: ECG769 時(shí)間: 2025-3-24 05:27
0302-9743 ge from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.978-3-319-19796-8978-3-319-19797-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: labile 時(shí)間: 2025-3-24 09:53 作者: 植物群 時(shí)間: 2025-3-24 14:16 作者: Myocyte 時(shí)間: 2025-3-24 18:40 作者: 一大塊 時(shí)間: 2025-3-24 20:17 作者: 颶風(fēng) 時(shí)間: 2025-3-25 01:30 作者: 關(guān)節(jié)炎 時(shí)間: 2025-3-25 04:37
Mathematics of Program Construction978-3-319-19797-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 網(wǎng)絡(luò)添麻煩 時(shí)間: 2025-3-25 08:40
Conor McBridenlinear science. Students in engineer- ing, physics, chemistry, mathematics, computing science, and biology should be able to successfully use this text. In an effort to provide the students with a cutting edge approach to one of the most dynamic, often subtle, complex, and still rapidly evolving, a作者: 鞏固 時(shí)間: 2025-3-25 12:58 作者: 錯(cuò)誤 時(shí)間: 2025-3-25 17:27
Nicolas Wu,Tom Schrijverss an introduction to some simple related nonlinear experimental activities. Students in engineering, phys- ics, chemistry, mathematics, computing science, and biology should be able to successfully use this book. In an effort to provide the reader with a cutting edge approach to one of the most dyna作者: aviator 時(shí)間: 2025-3-25 20:24
s an introduction to some simple related nonlinear experimental activities. Students in engineering, phys- ics, chemistry, mathematics, computing science, and biology should be able to successfully use this book. In an effort to provide the reader with a cutting edge approach to one of the most dyna作者: 欲望小妹 時(shí)間: 2025-3-26 00:26
Exploring an Interface Model for CKA,d model for CKA has been defined in which the incoming and outgoing edges of a graph define its input/output interface. The present paper provides a simplification and a significant extension of the original model to cover notions of states, predicates and assertions in the vein of algebraic treatme作者: Frenetic 時(shí)間: 2025-3-26 06:15 作者: 噴出 時(shí)間: 2025-3-26 10:28
A Relation-Algebraic Approach to Multirelations and Predicate Transformers, used for modelling topological contact, not only computations. We investigate how properties from these two lines of research translate to predicate transformers. To this end, we express the correspondence of multirelations and predicate transformers using relation algebras. It turns out to be simi作者: vitrectomy 時(shí)間: 2025-3-26 14:14
Preference Decomposition and the Expressiveness of Preference Query Languages,ase preferences including commercially available systems. They slightly vary in semantics and expressiveness but have in common that preferences induce strict partial orders on a given data set. In the present paper we study the expressiveness of preference operators in the available implementations作者: Gourmet 時(shí)間: 2025-3-26 17:17 作者: Oversee 時(shí)間: 2025-3-27 00:08 作者: 全神貫注于 時(shí)間: 2025-3-27 01:21
A Program Construction and Verification Tool for Separation Logic,by power series with convolution as separating conjunction. A generic construction lifts resource monoids to assertion and predicate transformer quantales. The data domain is captured by concrete store-heap models. These are linked to the separation algebra by soundness proofs. Verification conditio作者: Progesterone 時(shí)間: 2025-3-27 06:13 作者: flammable 時(shí)間: 2025-3-27 12:40 作者: 等待 時(shí)間: 2025-3-27 14:47 作者: 領(lǐng)巾 時(shí)間: 2025-3-27 21:50 作者: Flawless 時(shí)間: 2025-3-28 01:51 作者: 宿醉 時(shí)間: 2025-3-28 04:12 作者: 聽(tīng)寫(xiě) 時(shí)間: 2025-3-28 06:23 作者: Vital-Signs 時(shí)間: 2025-3-28 13:44
Fusion for Free,The shape of syntax is captured by functors, and free monads over these functors denote syntax trees. The semantics is captured by algebras, and effect handlers pass these over the syntax trees to interpret them into a semantic domain..This approach is inherently modular: different functors can be c作者: BLANC 時(shí)間: 2025-3-28 14:43 作者: breadth 時(shí)間: 2025-3-28 19:57 作者: Venules 時(shí)間: 2025-3-29 01:05
Hierarchy in Generic Programming Libraries,orting infrastructure necessary for each approach, and allowing each library to be specific and concise, while eliminating code duplication overall. We introduce a new library for GP in Haskell intended to sit at the top of the “GP hierarchy”. This library contains a lot of structural information, a作者: Outshine 時(shí)間: 2025-3-29 03:06 作者: 帶傷害 時(shí)間: 2025-3-29 08:56
Fusion for Free,and no intermediate trees need to be allocated. At the heart of this optimization is keeping the notion of a free monad abstract, thus enabling a change of representation that opens up the possibility of fusion. We demonstrate how the ensuing code can be inlined at compile time to produce efficient?作者: 鑒賞家 時(shí)間: 2025-3-29 13:17
Conor McBrideear examples solved with Maple. An accompanying laboratory manual of experimental activities keyed to the text allows the student the option of "hands on" experience in exploring nonlinear phenomena in the REAL world. Although the experiments are easy to perform, they give rise to experimental and theoretical978-1-4684-0032-8作者: 品牌 時(shí)間: 2025-3-29 16:52
Wen Kokke,Wouter Swierstracal approach while progressing through the rest of the topics that lie ahead. Since many of the underlying numerical concepts do not depend on whether the system is linear or nonlinear, occasionally a linear ODE shall be chosen for illustrative purposes because an exact analytic solution can then be作者: NOCT 時(shí)間: 2025-3-29 21:35
Nicolas Wu,Tom Schrijversded with this book gives a wide variety of illustrative non- linear examples solved with Maple. In addition, numerous annotated examples are sprinkled throughout the text and also placed on the CD. An accompanying set of experimental activities keyed to the theory developed in Part I of the book is 作者: Hypomania 時(shí)間: 2025-3-30 01:01 作者: 自作多情 時(shí)間: 2025-3-30 05:04 作者: 恭維 時(shí)間: 2025-3-30 10:00 作者: Hippocampus 時(shí)間: 2025-3-30 14:47
al use and energy generation. However, wood suitable for energy is not solely generated by forest-based industries. Various other activities use wood products that eventually reach the end of their usable life and are discarded, such as wood waste from construction or demolition, furniture waste or
