標(biāo)題: Titlebook: Implementation of Functional Languages; 8th International Wo Werner Kluge Conference proceedings 1997 Springer-Verlag Berlin Heidelberg 199 [打印本頁] 作者: 愚蠢地活 時間: 2025-3-21 18:11
書目名稱Implementation of Functional Languages影響因子(影響力)
書目名稱Implementation of Functional Languages影響因子(影響力)學(xué)科排名
書目名稱Implementation of Functional Languages網(wǎng)絡(luò)公開度
書目名稱Implementation of Functional Languages網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Implementation of Functional Languages被引頻次
書目名稱Implementation of Functional Languages被引頻次學(xué)科排名
書目名稱Implementation of Functional Languages年度引用
書目名稱Implementation of Functional Languages年度引用學(xué)科排名
書目名稱Implementation of Functional Languages讀者反饋
書目名稱Implementation of Functional Languages讀者反饋學(xué)科排名
作者: 牽索 時間: 2025-3-21 22:13 作者: Magisterial 時間: 2025-3-22 01:36 作者: 藐視 時間: 2025-3-22 07:34
0302-9743 rpretation and compilation techniques, automatic program generation, concurrent processing, machine architectures, runtime profiling and application programming.978-3-540-63237-5978-3-540-69239-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 使困惑 時間: 2025-3-22 12:18 作者: Semblance 時間: 2025-3-22 15:31
A type-based algorithm for the control-flow analysis of higher-order concurrent programs, call graphs. For the sake of flexibility, a subtyping relation is considered on the type algebra. We present the language syntax together with its static semantics that consists of the typing rules and an inference algorithm. The latter is proved to be sound with respect to the typing rules.作者: Left-Atrium 時間: 2025-3-22 17:55 作者: nullify 時間: 2025-3-23 00:46
Introducing CLOVER: An object-oriented functional language, explain the design issues and how CLOVER achieves its aim. We also explain the “missing” 1%, discuss its relevance, and illustrate how its loss can be extenuated through the use of a new visual programming notation.作者: 斗志 時間: 2025-3-23 01:25
Context patterns in Haskell, of context patterns is defined by transforming them to standard Haskell programs. Typical applications of context patterns are functions which . a data structure and possibly . it..This concept can easily be adopted for other languages using pattern matching like . or Clean.作者: 價值在貶值 時間: 2025-3-23 06:22 作者: Agility 時間: 2025-3-23 10:12 作者: 托運(yùn) 時間: 2025-3-23 13:56 作者: Arthritis 時間: 2025-3-23 20:25
The GRIN project: A highly optimising back end for lazy functional languages,e., forcing of closures) and applications of higher order functions, in the program. A transformation machinery uses many, each very simple, GRIN program transformations to optimise the intermediate code. Eventually, the GRIN code is translated into RISC machine code, and we apply an interprocedural作者: 改良 時間: 2025-3-23 23:45 作者: 6Applepolish 時間: 2025-3-24 03:32
Coordinating functional processes using Petri nets,ependencies among system components. Our variant of colored Petri nets provides several forms of net abstractions which facilitate the systematic construction of complex systems from small subsystems by composition. Recursive specifications can be used to adapt the structure of a process system to a作者: Isolate 時間: 2025-3-24 09:04
Two-pass heap profiling: A matter of life and death,s at different stages. The obvious way to obtain census data is to traverse the . at intervals throughout the computation. This is fine for static attributes (eg. What type of value does this memory cell represent?), and for dynamic attributes that can be determined for each cell by examining the he作者: FACT 時間: 2025-3-24 10:59 作者: inhibit 時間: 2025-3-24 16:17
Mourad Debbabi,Ali Faour,Nadia Tawbi decade or so, the authors of this book have assessed more than 900 global locations using the technique given in this book. One of the main aims of this method is to point out how scenic areas may be improved 978-3-030-07671-9978-3-319-78878-4Series ISSN 2211-0577 Series E-ISSN 2211-0585 作者: beta-cells 時間: 2025-3-24 21:12 作者: 昏迷狀態(tài) 時間: 2025-3-25 00:53 作者: 同音 時間: 2025-3-25 03:36 作者: MIRE 時間: 2025-3-25 10:47
Martin Erwigtermine energy density across the wave spectrum allowing forecasts of wave heights, parameterized as significant or maximum wave height, wave period, and wave direction. Accurate coastal circulation and wave modeling requires detailed coastline and bottom topography databases as well as fine-grained作者: ethnology 時間: 2025-3-25 13:52
Markus Mohnenominant processes causing sediment movement in those studies appeared to be gravity waves and winds in shallower canyons and tides and internal waves in deeper canyons. Also, the east coast canyons primarily transported fine-grain sediments, whereas the California canyons were very active in transpo作者: 感染 時間: 2025-3-25 18:27
Urban Boquist,Thomas Johnssona specific methodology for studies of this nature. The final chapter presents the seaside resorts in the metropolitan area of Fortaleza, a case study similar to others in the Northeast, examining the urbanistic effects and the key ideas of the planners..作者: 蛛絲 時間: 2025-3-25 23:39 作者: GULP 時間: 2025-3-26 01:19 作者: 外面 時間: 2025-3-26 06:20 作者: 痛得哭了 時間: 2025-3-26 10:55
Claus A?mannount of water entering the groundwater system. In the discharge area where salinity is observed, establishing plant growth is important. Suitable cultivation systems, including leaching, tillage, and drainage, are practical strategies for ameliorating salt-affected soil. For several specific situati作者: CRAMP 時間: 2025-3-26 12:46
Hans-Wolfgang Loidl,Kevin Hammondwere installed over the entire site. Subsurface drains and collection sumps were installed to overcome the seasonally high water table (fall/winter), and drained waters collected in sumps were hauled to a nearby deep injection well for disposal. A sprinkler irrigation system was installed to supply 作者: 樹上結(jié)蜜糖 時間: 2025-3-26 18:25
Stephen A. Jarvis,Richard G. Morgang excess recharging of groundwater. This reduces suitability for plant growth and increases the potential for other forms of land degradation, such as soil erosion and structural decline. Thus, salinization is one of the most serious long-term threats to the sustainability of land and water resource作者: 食品室 時間: 2025-3-27 01:01 作者: 即席演說 時間: 2025-3-27 02:55 作者: 搬運(yùn)工 時間: 2025-3-27 08:54 作者: Pillory 時間: 2025-3-27 10:45
, deltas, marshes, dunes, and beaches. A tremendously broad range of conditions is represented by these environments. Salinity may range from essentially fresh water in estuaries, such as along the east coast of the United States, to extreme hypersaline lagoons, such as Laguna Madre in Texas. Coastal environm978-1-4612-9554-9978-1-4612-5078-4作者: glowing 時間: 2025-3-27 16:16
e from a large-scale terrestrial power grid. Batteries alone for submerged applications or combinations of solar cells and batteries for surface applications are the principal power sources now in use, but wave, wind, and other power sources are becoming available. Significant power economy afforded作者: 無目標(biāo) 時間: 2025-3-27 18:28
Lee Braine,Chris Clacke from a large-scale terrestrial power grid. Batteries alone for submerged applications or combinations of solar cells and batteries for surface applications are the principal power sources now in use, but wave, wind, and other power sources are becoming available. Significant power economy afforded作者: Glycogen 時間: 2025-3-27 23:37
Martin Erwignservation of mass, and energy through simplifying assumptions that allow operational algorithms. Models are built upon grids and computations are performed at grid nodes and propagated through the grid at predetermined time steps. Local coastal circulation models, addressing a smaller area, can imp作者: 我說不重要 時間: 2025-3-28 05:10 作者: 的闡明 時間: 2025-3-28 09:27 作者: 考博 時間: 2025-3-28 13:12 作者: cinder 時間: 2025-3-28 18:16 作者: 討好美人 時間: 2025-3-28 18:56 作者: 性冷淡 時間: 2025-3-28 23:13
Silvia Breitinger,Ulrike Klusik,Rita Loogendate, reclamation of salt-affected land has been limited owing to adverse conditions. Forestation is one way to utilize saline soil and can improve the quality of the soil as well. The mechanisms of salinity tolerance form the basis for tree species selection when planting in salt-affected soil, wit作者: 褲子 時間: 2025-3-29 04:47 作者: Brocas-Area 時間: 2025-3-29 07:30
Hans-Wolfgang Loidl,Kevin Hammond the maintenance of some degree of hydraulic conductivity (HC) throughout the soil profile. It is generally thought that the degree of swelling in salt-affected soils can be manipulated by controlling EC and SAR. Ideally, SAR, or the ratio of sodium to calcium and magnesium cations, should be reduce作者: 等級的上升 時間: 2025-3-29 14:46
Stephen A. Jarvis,Richard G. Morganining as a result of socioeconomic development and rapid urbanization. In order to meet the demand for grain production and alleviate the pressure on current arable land, wasteland must be reclaimed. Forestation is not only useful for saline–alkali soil utilization but can also improve soil properti作者: 開始從未 時間: 2025-3-29 16:56
Colin Runciman,Niklas R?jemoodation, consumer goods, etc., has also been increasing. While on the one hand more manpower flowing in to the region helps development, on the other hand it means more land has to be transformed for farming, housing, and so on, and the urban area is also expanding. Under these conditions, the press作者: 一條卷發(fā) 時間: 2025-3-29 21:37 作者: 紋章 時間: 2025-3-30 02:08 作者: 狂熱語言 時間: 2025-3-30 08:08
Walter Dosch,Bernhard M?ller of its population and are therefore of extreme economic importance. Industrial, residential, and recreational developments, as well as large urban complexes, occupy much of the coastal margin of most highly developed countries. Undoubtedly future expansion in many undeveloped maritime countries wil作者: antecedence 時間: 2025-3-30 10:05
of its population and are therefore of extreme economic importance. Industrial, residential, and recreational developments, as well as large urban complexes, occupy much of the coastal margin of most highly developed countries. Undoubtedly future expansion in many undeveloped maritime countries wil作者: ANIM 時間: 2025-3-30 12:24 作者: Albinism 時間: 2025-3-30 16:38
Active patterns,presentation exists for an abstract value: in many cases there is a specific representation for which function definitions become very simple, and active patterns just allow to assume this specific representation in function definitions. We define the semantics of active patterns and describe their 作者: 山羊 時間: 2025-3-30 20:51
Context patterns in Haskell, a new non-local form of patterns called ., which allow the matching of subterms without fixed distance from the root of the whole term. The semantics of context patterns is defined by transforming them to standard Haskell programs. Typical applications of context patterns are functions which . a da作者: 打擊 時間: 2025-3-31 04:43 作者: 喊叫 時間: 2025-3-31 07:32
,On programming scientific applications in , — A functional language extended by a subsystem for higr to those that are available in .. The array operations in SAC are based on the Ψ-calculus, an algebra of arrays which provides a formalism for specifying and simplifying array operations in terms of index set manipulations..The programming techniques made possible by SAC are demonstrated by means
