標(biāo)題: Titlebook: Central European Functional Programming School; Third Summer School, Zoltán Horváth,Rinus Plasmeijer,Viktória Zsók Textbook 2010 Springer B [打印本頁(yè)] 作者: 無(wú)限 時(shí)間: 2025-3-21 17:15
書(shū)目名稱(chēng)Central European Functional Programming School影響因子(影響力)
書(shū)目名稱(chēng)Central European Functional Programming School影響因子(影響力)學(xué)科排名
書(shū)目名稱(chēng)Central European Functional Programming School網(wǎng)絡(luò)公開(kāi)度
書(shū)目名稱(chēng)Central European Functional Programming School網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書(shū)目名稱(chēng)Central European Functional Programming School被引頻次
書(shū)目名稱(chēng)Central European Functional Programming School被引頻次學(xué)科排名
書(shū)目名稱(chēng)Central European Functional Programming School年度引用
書(shū)目名稱(chēng)Central European Functional Programming School年度引用學(xué)科排名
書(shū)目名稱(chēng)Central European Functional Programming School讀者反饋
書(shū)目名稱(chēng)Central European Functional Programming School讀者反饋學(xué)科排名
作者: 高深莫測(cè) 時(shí)間: 2025-3-21 21:50
Erlang Behaviours: Programming with Process Design Patterns,ile executing different code, do so following a number of common patterns. By examining different examples of Erlang-style concurrency in client/server architectures, we identify the generic and specific parts of the code and extract the generic code to form a process skeleton. In Erlang, the most c作者: G-spot 時(shí)間: 2025-3-22 02:55 作者: 催眠 時(shí)間: 2025-3-22 07:01
Programming in Manticore, a Heterogenous Parallel Functional Language, Manticore is a . language that supports parallelism at multiple levels. Specifically, the Manticore language combines Concurrent ML-style explicit concurrency with fine-grain, implicitly threaded, parallel constructs. These lectures will introduce the Manticore language and explore a variety of pro作者: Vital-Signs 時(shí)間: 2025-3-22 11:12 作者: Fresco 時(shí)間: 2025-3-22 16:28 作者: Fresco 時(shí)間: 2025-3-22 17:51
An Effective Methodology for Defining Consistent Semantics of Complex Systems,onstruct such a semantics..Semantics is a formal description of the meaning of language constructs. Just like any other formal description there are umpteen ways of introducing flaws in such a description. Even trained people are not very effective in spotting issues in formal text. In this paper we作者: Cognizance 時(shí)間: 2025-3-22 23:19
Functional Programming with C++ Template Metaprograms,r to execute algorithms at compilation time. Among the application areas of template metaprograms are the expression templates, static interface checking, code optimization with adaption, language embedding and active libraries. However, as template metaprogramming was not an original design goal, t作者: 施魔法 時(shí)間: 2025-3-23 03:26
Embedding a Proof System in Haskell,is to create formally verified software using the . principle. Using . as the host language provides a powerful and flexible environment so that programming language tools can be used to build proofs..The main contribution of this paper is the systematic analysis of different techniques for language作者: LAY 時(shí)間: 2025-3-23 06:49 作者: instate 時(shí)間: 2025-3-23 11:53 作者: 花束 時(shí)間: 2025-3-23 15:54 作者: 秘方藥 時(shí)間: 2025-3-23 18:22
https://doi.org/10.1007/978-3-642-17685-2C++; Erlang; F#; Haskell; Manticore; consistency; design patterns; functional programming; parallel programm作者: 洞穴 時(shí)間: 2025-3-24 00:37 作者: CLEAR 時(shí)間: 2025-3-24 03:45
Zoltán Horváth,Rinus Plasmeijer,Viktória ZsókHigh quality selected papers.Unique visibility.State of the art research作者: Fortify 時(shí)間: 2025-3-24 09:18 作者: Gesture 時(shí)間: 2025-3-24 12:26
Methoden der morphologischen Diagnostik, patterns, F#’s unique feature for extensible pattern matching, which as we demonstrate provide an elegant and type-safe mechanism to embed parsers as an alternative approach to parser generators. We also build an evaluator, and extend the core Simply language with Logo-like primitives and build a g作者: Stable-Angina 時(shí)間: 2025-3-24 14:53 作者: 貨物 時(shí)間: 2025-3-24 19:23 作者: insular 時(shí)間: 2025-3-25 00:28
Bereich der Fertigung und Montage, Manticore is a . language that supports parallelism at multiple levels. Specifically, the Manticore language combines Concurrent ML-style explicit concurrency with fine-grain, implicitly threaded, parallel constructs. These lectures will introduce the Manticore language and explore a variety of pro作者: chronology 時(shí)間: 2025-3-25 03:35 作者: 乞討 時(shí)間: 2025-3-25 09:21 作者: 熒光 時(shí)間: 2025-3-25 15:44
Thom Luijben,Anne Boomsma,Ivo W. Molenaaronstruct such a semantics..Semantics is a formal description of the meaning of language constructs. Just like any other formal description there are umpteen ways of introducing flaws in such a description. Even trained people are not very effective in spotting issues in formal text. In this paper we作者: 拒絕 時(shí)間: 2025-3-25 16:24 作者: Vasoconstrictor 時(shí)間: 2025-3-25 20:55
Bemerkungen zum Turbulenzproblemis to create formally verified software using the . principle. Using . as the host language provides a powerful and flexible environment so that programming language tools can be used to build proofs..The main contribution of this paper is the systematic analysis of different techniques for language作者: 魔鬼在游行 時(shí)間: 2025-3-26 01:16 作者: intoxicate 時(shí)間: 2025-3-26 06:13 作者: crease 時(shí)間: 2025-3-26 09:06
Types for Units-of-Measure: Theory and Practice,Units-of-measure are to science what types are to programming. In science and engineering, dimensional and unit consistency provides a first check on the correctness of an equation or formula, just as in programming the validation of a program by the type-checker eliminates one possible reason for failure.作者: 確認(rèn) 時(shí)間: 2025-3-26 13:27 作者: 煉油廠(chǎng) 時(shí)間: 2025-3-26 17:19
Rapid Prototyping of DSLs with F#,raphical shell environment around it..As a warm-up, we give a rudimentary survey of some notable F# features, including sequence expressions and active patterns. For a treatment of units of measure, used briefly in the Simply shell environment, the reader is encouraged to study [AK-09] and [AK-CEFP-09].作者: 謙虛的人 時(shí)間: 2025-3-26 21:07 作者: STALL 時(shí)間: 2025-3-27 01:57
Non-monadic Models of Mutable References, virtual union of heaps..The proposed model needs uniqueness typing. This need could be seen as a drawback but it can also be seen as a motivation for the spread of uniqueness typing in functional languages.作者: limber 時(shí)間: 2025-3-27 08:09
Embedding a Proof System in Haskell, embedding. We present design decisions by pointing out which techniques are applicable and which ones are inappropriate or inconvenient to use when embedding a proof system like the our one. We also point out the advantages of the embedding compared to a previous implementation of the same system.作者: 消息靈通 時(shí)間: 2025-3-27 11:58
0302-9743 esented were carefully reviewed and selected. The lectures cover a wide range of topics such as design patterns, semantics, types, and advanced programming in various functional programming languages.978-3-642-17684-5978-3-642-17685-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 相符 時(shí)間: 2025-3-27 16:48
Textbook 2010 May 2009 in Komárno, Slovakia. It was co-organized with the TFP 2009 conference. The summer school included a three days warm-up session organized in Budapest, Hungary also in May, 2009. .The 11 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of t作者: 兇兆 時(shí)間: 2025-3-27 20:12 作者: Dissonance 時(shí)間: 2025-3-27 23:24 作者: ascend 時(shí)間: 2025-3-28 02:20
Biochemie der Speichelzusammensetzung,ommonly used patterns have been implemented in library modules, commonly referred to as OTP behaviours. They contain the generic code framework for concurrency and error handling, simplifying the complexity of concurrent programming and protecting the developer from many common pitfalls.作者: intellect 時(shí)間: 2025-3-28 06:26 作者: 喪失 時(shí)間: 2025-3-28 11:10 作者: miniature 時(shí)間: 2025-3-28 18:33 作者: Critical 時(shí)間: 2025-3-28 19:32
Gesammelte Werke‘ Collected Workss, and after modifying the source code, just a subset of the test cases should be retested. The discussed approach introduces a behaviour dependency graph for Erlang programs to represent the dependencies in the source code. The impact of a change can be calculated by traversing the graph.作者: engrossed 時(shí)間: 2025-3-29 00:40
