標(biāo)題: Titlebook: Implementation and Application of Functional Languages; 18th International S Zoltán Horváth,Viktória Zsók,Andrew Butterfield Conference pro [打印本頁] 作者: Halcyon 時(shí)間: 2025-3-21 17:01
書目名稱Implementation and Application of Functional Languages影響因子(影響力)
書目名稱Implementation and Application of Functional Languages影響因子(影響力)學(xué)科排名
書目名稱Implementation and Application of Functional Languages網(wǎng)絡(luò)公開度
書目名稱Implementation and Application of Functional Languages網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Implementation and Application of Functional Languages被引頻次
書目名稱Implementation and Application of Functional Languages被引頻次學(xué)科排名
書目名稱Implementation and Application of Functional Languages年度引用
書目名稱Implementation and Application of Functional Languages年度引用學(xué)科排名
書目名稱Implementation and Application of Functional Languages讀者反饋
書目名稱Implementation and Application of Functional Languages讀者反饋學(xué)科排名
作者: Euphonious 時(shí)間: 2025-3-21 20:27 作者: Exaggerate 時(shí)間: 2025-3-22 02:54
,Functional–Based Synthesis of a Systolic Array for GCD Computation,hod uses the conceptual similarity between the inductive structure of a systolic array (a head processor followed by an identical tail array) and the inductive decomposition of the argument by a functional program. By formal analysis, we identify the structure of the functions which can be realized 作者: FLASK 時(shí)間: 2025-3-22 05:55
Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages,on the strategy used to fix the degrees of laziness/ strictness. By using an implementation of Eden’s operational semantics, we analyze the influence of alternative evaluation models on Eden skeletons performance. In particular, we assess the performance of different implementations of a skeleton th作者: 錯(cuò) 時(shí)間: 2025-3-22 09:51
Parallel Coordination Made Explicit in a Functional Setting,developed in the context of the latest Eden implementation (based on the Glasgow-Haskell-Compiler, GHC, version 6) and it is thus referred to as the “EDen Implementation language”, EDI. EDI provides a small set of directly implemented primitive operations for basic thread control, system information作者: GRAVE 時(shí)間: 2025-3-22 13:23
Low-Level Programming in Hume: An Exploration of the HW-Hume Level,formal properties but posseses limited abstraction capabilities. In this paper, we introduce HW-Hume, show some simple example programs, describe an efficient software implementation, and demonstrate how important properties can be exposed as part of an integrated formally-based verification approac作者: 疼死我了 時(shí)間: 2025-3-22 17:47 作者: 正面 時(shí)間: 2025-3-22 22:04 作者: 不能根除 時(shí)間: 2025-3-23 01:50
,, a Proof Engine,is a Haskell library designed to allow easy extending and embedding of a type theory based theorem prover in a Haskell application. In this paper, I give an overview of the library and show how it can be used to embed theorem proving technology in an implementation of a simple functional programming作者: Oafishness 時(shí)間: 2025-3-23 06:16
Proving Program Properties Specified with Subtype Marks,d postconditions of functions) are described in terms of type invariants. Subtype marks are annotations attached to types and denote type invariants. A large amount of program properties expressed with subtype marks are verifiable fully automatically by an appropriate type system; the rest can be pr作者: Thymus 時(shí)間: 2025-3-23 10:03 作者: 沒花的是打擾 時(shí)間: 2025-3-23 13:54
Heuristics for Type Error Discovery and Recovery,e algorithms proceed in a mechanical, syntax-directed way, and are unaware of inference techniques used by experts to explain type inconsistencies. We formulate type inference as a constraint problem, and analyze the collected constraints to improve the error messages (and, as a result, programming 作者: maverick 時(shí)間: 2025-3-23 18:17 作者: Plaque 時(shí)間: 2025-3-24 00:39 作者: HILAR 時(shí)間: 2025-3-24 06:01 作者: 乳白光 時(shí)間: 2025-3-24 10:16
mmarizing the latest research developments in the endemic fl.Endemic fluorosis is caused by excessive intake of fluorine in drinking water, air, food, tea and other media in a specific natural environment for a long time, which involves at least 25 countries, such as China, India, Vietnam, Iran, Egy作者: Servile 時(shí)間: 2025-3-24 13:44
Kai Trojahner,Clemens Grelck,Sven-Bodo Scholzmmarizing the latest research developments in the endemic fl.Endemic fluorosis is caused by excessive intake of fluorine in drinking water, air, food, tea and other media in a specific natural environment for a long time, which involves at least 25 countries, such as China, India, Vietnam, Iran, Egy作者: Ingredient 時(shí)間: 2025-3-24 16:13 作者: 依法逮捕 時(shí)間: 2025-3-24 22:27
Laura Ruff,Tudor Jebeleanf the national S&T program in CBM.Summarizes the frontiers i.The coalbed methane (CBM) reserve in China ranks third in the world with a total resource of 36.8×1012 m3. Exploitation of CBM has an important practical significance to ensure the long-term rapid development of China natural gas industry.作者: Malaise 時(shí)間: 2025-3-25 02:50
Mercedes Hidalgo-Herrero,Yolanda Ortega-Mallén,Fernando Rubiof the national S&T program in CBM.Summarizes the frontiers i.The coalbed methane (CBM) reserve in China ranks third in the world with a total resource of 36.8×1012 m3. Exploitation of CBM has an important practical significance to ensure the long-term rapid development of China natural gas industry.作者: 陰郁 時(shí)間: 2025-3-25 07:21
Jost Berthold,Rita Loogenludes discussion of the governmental and policy matters rele.This book offers a first-of-its-kind, standalone review of coalbed methane (CBM) in India, covering all the major technical and policy aspects. As an authoritative text on CBM in India, it addresses the essential geological, engineering an作者: Hemoptysis 時(shí)間: 2025-3-25 07:31 作者: 剛開始 時(shí)間: 2025-3-25 13:29
Rinus Plasmeijer,Peter Achtenlgebras such as streams is undecidable, one cannot use it as the equality in type checking. Instead, languages based on dependent types with decidable type checking such as Coq or Agda use intensional equality for type checking. Two streams are definitionally equal if the underlying terms reduce to 作者: 最高峰 時(shí)間: 2025-3-25 19:06 作者: 蚊帳 時(shí)間: 2025-3-25 20:51 作者: 墻壁 時(shí)間: 2025-3-26 00:29
Tamás Kozsik class of lattices—called the .—and proposed lattice theory as an alternative algebraic approach to databases. Aiming at query optimization, Litak et al. [.] initiated the study of the equational theory of these lattices. We carry on with this project, making use of the duality theory developed in [作者: inscribe 時(shí)間: 2025-3-26 05:10
Edsko de Vries,Rinus Plasmeijer,David M. Abrahamsonrbit-finite automata (NOFAs) and regular nominal non-deterministic automata (RNNAs), which were introduced in previous work. While NOFAs are a straightforward nominal version of non-deterministic automata, RNNAs feature ordinary as well as name binding transitions. Correspondingly, words accepted by作者: pester 時(shí)間: 2025-3-26 10:37 作者: CEDE 時(shí)間: 2025-3-26 15:51
Patrik Jansson,Johan Jeuring,Laurence Cabenda,Gerbo Engels,Jacob Kleerekoper,Sander Mak,Michiel Overantics of these systems can be defined as algebras and coalgebras of suitable endofunctors over ., the category of measurable spaces. In order to give a more concrete representation for these coalgebras, we present an SOS-like rule format which induces an abstract GSOS over .; this format is proved 作者: 連詞 時(shí)間: 2025-3-26 16:56
Armelle Bonenfant,Christian Ferdinand,Kevin Hammond,Reinhold Heckmannready in finite but cyclic graphs, as in rational trees. Coq’s static checks exclude simple-minded definitions with lists of successors of a node. In previous work, we have shown how to mimic lists by a type of functions and built a Coq theory for such graphs. Naturally, these coinductive structures作者: NUL 時(shí)間: 2025-3-26 20:59
Jesús M. Almendros-Jiménez,Germán Vidal . be the free .algebra over . and . the variety of all algebras satisfying . We consider the question, under which conditions the .-functor . weakly preserves pullbacks, kernel pairs, or preimages[.]..We first generalize a joint result with our former student Ch. Henkel, asserting that an arbitrary作者: 狂熱語言 時(shí)間: 2025-3-27 01:55 作者: 機(jī)構(gòu) 時(shí)間: 2025-3-27 09:08 作者: 培養(yǎng) 時(shí)間: 2025-3-27 13:03 作者: 流逝 時(shí)間: 2025-3-27 17:02
,Index Vector Elimination – Making Index Vectors Affordable,ent a high-level optimization to that effect which is generally applicable, even in the presence of statically unknown rank (n). Our experiments show run-time improvements between a factor of 2 and 16 on a set of real-world benchmarks.作者: chisel 時(shí)間: 2025-3-27 18:52
A Pattern Logic for Prompt Lazy Assertions in Haskell, operations and predicates. The presented assertions are lazy: they do not force evaluation but only examine what is evaluated by other parts of the program. They are also prompt: assertion failure is reported as early as possible, before a faulty value is used by the main computation.作者: chalice 時(shí)間: 2025-3-28 00:58
Uniqueness Typing Redefined, allow for higher-rank types. To be able to do this, we explicitly associate type constraints (attribute inequalities) with type schemes. Consequently, types in our system are much more precise about constraint propagation.作者: 津貼 時(shí)間: 2025-3-28 02:56 作者: 壯麗的去 時(shí)間: 2025-3-28 09:59 作者: 凹處 時(shí)間: 2025-3-28 10:30 作者: investigate 時(shí)間: 2025-3-28 18:38
A Conference Management System Based on the ,,n be used for even more tasks: handle ., perform .. This can be done entirely on top of the .. The toolkit comes with a new programming paradigm. We illustrate the extended power of the toolkit and programming paradigm by a case study of a conference management system.作者: FLAIL 時(shí)間: 2025-3-28 22:25
,, a Proof Engine, language; by using type theory as a core representation, we can construct and evaluate terms and prove correctness properties of those terms within the . framework, ensuring consistency of the implementation and the theorem prover.作者: 取之不竭 時(shí)間: 2025-3-29 01:45 作者: 報(bào)復(fù) 時(shí)間: 2025-3-29 03:56
Automatic Partial Inversion of Inductively Sequential Functions,emoval of let expressions. Furthermore, it can easily be implemented. Therefore, it forms an appropriate basis for developing a practically applicable transformation tool. Preliminary experiments with a prototype implementation of the partial inverter demonstrates the usefulness and viability of our approach.作者: 固執(zhí)點(diǎn)好 時(shí)間: 2025-3-29 11:04 作者: Tdd526 時(shí)間: 2025-3-29 13:44
978-3-540-74129-9Springer-Verlag Berlin Heidelberg 2007作者: capsule 時(shí)間: 2025-3-29 16:42 作者: Density 時(shí)間: 2025-3-29 19:44
0302-9743 Overview: 978-3-540-74129-9978-3-540-74130-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: Aviary 時(shí)間: 2025-3-30 03:06
https://doi.org/10.1007/978-3-540-74130-5Debugging; Haskell; Haskell programming; ML programming; function-based programming; functional logic com作者: 離開真充足 時(shí)間: 2025-3-30 06:37 作者: 確定方向 時(shí)間: 2025-3-30 12:02 作者: RUPT 時(shí)間: 2025-3-30 16:23
is withsevere injuries to most organs of human body. The content of this book covers the epidemiology, pathological changes, molecular pathogenesis and clinical treatments of the disease. This book is a suitabl978-981-16-1500-9978-981-16-1498-9作者: 古文字學(xué) 時(shí)間: 2025-3-30 19:20 作者: coagulation 時(shí)間: 2025-3-30 23:00
Laura Ruff,Tudor Jebeleanevaluation, prospect prediction, seismic interpretation and enhanced recovery. The book will appeal to geologists, lecturers and students who are involved in the CBM industry and connected with coal and convent978-981-33-4727-4978-981-33-4725-0作者: DIKE 時(shí)間: 2025-3-31 02:16
