標(biāo)題: Titlebook: Implementation of Functional Languages; 14th International W Ricardo Pe?a,Thomas Arts Conference proceedings 2003 Springer-Verlag Berlin He [打印本頁(yè)] 作者: 頌歌 時(shí)間: 2025-3-21 18:27
書目名稱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é)科排名
作者: 獸群 時(shí)間: 2025-3-21 21:56
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/i/image/462562.jpg作者: ingestion 時(shí)間: 2025-3-22 00:50
978-3-540-40190-2Springer-Verlag Berlin Heidelberg 2003作者: Conscientious 時(shí)間: 2025-3-22 05:25
Implementation of Functional Languages978-3-540-44854-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 手工藝品 時(shí)間: 2025-3-22 11:17 作者: Rebate 時(shí)間: 2025-3-22 16:21 作者: landfill 時(shí)間: 2025-3-22 19:23
Lazy Dynamic Input/Output in the Lazy Functional Language Clean,lazy semantics of the language in an elegant way and is moreover quite efficient. The resulting rather complex system in which dynamics can depend on other dynamics, is effectively hidden from the user by allowing her to view dynamics as “typed files” that can be manipulated like ordinary files.作者: 流浪者 時(shí)間: 2025-3-23 00:20
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines,ine (APM) on which it can be executed to evaluate the transformation. We propose a decision tree of programs and corresponding APMs that help to explore alternative design decisions. Our approach stratifies the effects of individual, self-contained transformations and enables their evaluation during the parallelisation process.作者: fringe 時(shí)間: 2025-3-23 03:08 作者: 安撫 時(shí)間: 2025-3-23 08:49 作者: 狂怒 時(shí)間: 2025-3-23 10:36 作者: 暗諷 時(shí)間: 2025-3-23 15:35 作者: VICT 時(shí)間: 2025-3-23 19:37 作者: progestogen 時(shí)間: 2025-3-24 02:07
: Generic Automated Software Testing,his implies that there is no need for the user to indicate how data should be generated. Moreover, duplicated tests are avoided, and for finite domains Gast is able to prove a property by testing it for all possible values. As an important side-effect, it also encourages stating formal properties of the software.作者: 支形吊燈 時(shí)間: 2025-3-24 03:19
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment,te being an implementation of a dynamically typed language, achieves performance which is competitive with that of state-of-the-art implementations of strongly typed strict functional languages on floating point intensive programs.作者: Ankylo- 時(shí)間: 2025-3-24 10:05
Towards a Strongly Typed Functional Operating System,. The shell uses a functional-style command language that allows construction of new processes, and it type checks the command line before executing it. Famke’s type safe run-time extensibility makes it a strongly typed operating system that can be tailored to a given situation.作者: Gullible 時(shí)間: 2025-3-24 14:02 作者: 終端 時(shí)間: 2025-3-24 17:08
Predictable Space Behaviour in FSM-Hume,Hume. This cost model is evaluated against an example taken from the research literature: a simple mine drainage control system. Empirical results suggest that our model is a good predictor of stack and heap usage, and that this can lead to good bounded memory utilisation.作者: 舉止粗野的人 時(shí)間: 2025-3-24 21:41 作者: 極力證明 時(shí)間: 2025-3-25 00:30
Conference proceedings 2003esearchers actively engaged in the implementation and application of functional programming languages to discuss new results and new directions of research. A non-exhaustive list of topics includes: language concepts, type che- ing, compilation techniques, (abstract) interpretation, automatic progra作者: Perceive 時(shí)間: 2025-3-25 04:08 作者: nitric-oxide 時(shí)間: 2025-3-25 11:15
André Rauber Du Bois,Hans-Wolfgang Loidl,Phil Trinders readers with the knowledge to participate eff ectively in a governance system that is constantly evolving. This understanding will be critical as students become managers, policymakers, and citizens who shape the future of the coasts..978-1-61091-016-3作者: 無(wú)瑕疵 時(shí)間: 2025-3-25 14:56
Arjen van Weelden,Rinus Plasmeijers readers with the knowledge to participate eff ectively in a governance system that is constantly evolving. This understanding will be critical as students become managers, policymakers, and citizens who shape the future of the coasts..978-1-61091-016-3作者: 分散 時(shí)間: 2025-3-25 18:41 作者: Cabg318 時(shí)間: 2025-3-25 20:03
s readers with the knowledge to participate eff ectively in a governance system that is constantly evolving. This understanding will be critical as students become managers, policymakers, and citizens who shape the future of the coasts..978-1-61091-016-3作者: cajole 時(shí)間: 2025-3-26 00:57
0302-9743 al Spanish public institutions: the M- istry of Science and Technology, Universidad Complutense de Madrid, and the Tourism O?ce, Town Hall and Province Council 978-3-540-40190-2978-3-540-44854-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: MIRE 時(shí)間: 2025-3-26 07:05 作者: 圍裙 時(shí)間: 2025-3-26 09:55
Pieter Koopman,Artem Alimarine,Jan Tretmans,Rinus Plasmeijer作者: 食料 時(shí)間: 2025-3-26 15:51 作者: 做作 時(shí)間: 2025-3-26 20:27
Conference proceedings 2003ngthethreedaysoftheworkshop,34contributions were presented, covering most of the topics mentioned above. The workshop was sponsored by several Spanish public institutions: the M- istry of Science and Technology, Universidad Complutense de Madrid, and the Tourism O?ce, Town Hall and Province Council 作者: 頌揚(yáng)國(guó)家 時(shí)間: 2025-3-27 00:39 作者: transient-pain 時(shí)間: 2025-3-27 05:07
When Generic Functions Use Dynamic Values,s that can be specialized . to arguments of arbitrary type. Both techniques have been investigated and incorporated in the pure functional programming language Clean. Because generic functions work on all types and values, they are the perfect tool when manipulating dynamic values. But generics rely作者: 不規(guī)則的跳動(dòng) 時(shí)間: 2025-3-27 06:01 作者: engrossed 時(shí)間: 2025-3-27 13:10 作者: 白楊 時(shí)間: 2025-3-27 15:52
Proving Make Correct: I/O Proofs in Haskell and Clean,s which perform significant I/O. We developed a model of the I/O system and produced some techniques to reason about the behaviour of programs run in the model. We then used those techniques to prove some properties of a program based on the standard make tool. We consider the I/O systems of both la作者: ORBIT 時(shí)間: 2025-3-27 19:00 作者: FID 時(shí)間: 2025-3-28 01:06
Lazy Dynamic Input/Output in the Lazy Functional Language Clean,an because it allows type safe exchange of both data and code. In this way mobile code and plug-ins can be realized easily. The paper discusses the most important implementation problems and their solutions in the context of a compiled lazy functional language. The implemented solution reflects the 作者: Stricture 時(shí)間: 2025-3-28 06:01
PolyAPM: Parallel Programming via Stepwise Refinement with Abstract Parallel Machines, and error-prone, the use of compilers reduces the programmer’s control and often does not lead to an optimal result. With our approach, PolyAPM, the programming process is structured as a series of source-to-source transformations. Each intermediate result is a program for an Abstract Parallel Mach作者: 大范圍流行 時(shí)間: 2025-3-28 08:30
Unboxed Compilation of Floating Point Arithmetic in a Dynamically Typed Language Environment,ontaining floating point numbers, how this information is used by the BEAM compiler, and a scheme for efficient (just-in-time) compilation of floating point bytecode instructions to native code. The attractiveness of the scheme lies in its implementation simplicity. It has been fully incorporated in作者: 維持 時(shí)間: 2025-3-28 12:44
Stacking Cycles: Functional Transformation of Circular Data,is paper, we characterize a class of functions on circular data graphs extending the class of primitively corecursive functions. We propose an abstract, effective implementation technique for these functions under an eager evaluation strategy on standard stack machines. The proposed implementation e作者: TERRA 時(shí)間: 2025-3-28 16:00
Transforming Haskell for Tracing,tions include program comprehension and debugging. A new version of Hat uses a stand-alone program transformation to produce self-tracing Haskell programs. The transformation is small and works with any Haskell 98 compiler that implements the standard foreign function interface. We present general t作者: 休閑 時(shí)間: 2025-3-28 20:37 作者: reception 時(shí)間: 2025-3-29 00:50
Thread Migration in a Parallel Graph Reducer,ribute potential work, i.e. sparks or closures, but there is good evidence that the performance of certain classes of program can be improved if current work, or threads, are also distributed. Migrating a thread incurs significant execution cost and requires careful scheduling and an elaborate imple作者: 北極熊 時(shí)間: 2025-3-29 04:10
Towards a Strongly Typed Functional Operating System,d management of independent distributed Clean processes on a network of workstations. It uses Clean’s dynamic type system and its dynamic linker to communicate values of any type, e.g. data, closures, and functions (i.e. compiled code), between running applications in a type safe way. Mobile process作者: 關(guān)節(jié)炎 時(shí)間: 2025-3-29 08:24
Cost Analysis Using Automatic Size and Time Inference,e introduce a novel type and effect system — the . that is capable of determining upper bounds for both time and space costs, and which we initially intend to apply to determining good granularity for parallel tasks. The analysis is defined for a simple, strict, higher-order and polymorphic function作者: Respond 時(shí)間: 2025-3-29 13:27 作者: 修正案 時(shí)間: 2025-3-29 18:53 作者: osculate 時(shí)間: 2025-3-29 23:30 作者: anthropologist 時(shí)間: 2025-3-30 03:45
álvaro J. Rebón Portillo,Kevin Hammond,Hans-Wolfgang Loidl,Pedro Vasconcelosto coastal management.Growing interest in coastal management.Coastal Governance. provides a clear overview of how U.S. coasts are currently managed and explores new approaches that could make our shores healthier. Drawing on recent national assessments, Professor Richard Burroughs explains why tradi作者: Melodrama 時(shí)間: 2025-3-30 07:05
to coastal management.Growing interest in coastal management.Coastal Governance. provides a clear overview of how U.S. coasts are currently managed and explores new approaches that could make our shores healthier. Drawing on recent national assessments, Professor Richard Burroughs explains why tradi作者: airborne 時(shí)間: 2025-3-30 11:44 作者: 值得尊敬 時(shí)間: 2025-3-30 15:46
Ullrich Dittler,Christian KreidlKonzepte zur zukunftsorientierten Ausrichtung von Hochschulen.Hochschuldidaktische Ans?tze einer zeitgem??en Lehre.Bildungstheoretische Impulse für eine Hochschule des 21. Jahrhunderts
