Halcyon
发表于 2025-3-21 17:01:28
书目名称Implementation and Application of Functional Languages影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0462553<br><br> <br><br>书目名称Implementation and Application of Functional Languages影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0462553<br><br> <br><br>书目名称Implementation and Application of Functional Languages网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0462553<br><br> <br><br>书目名称Implementation and Application of Functional Languages网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0462553<br><br> <br><br>书目名称Implementation and Application of Functional Languages被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0462553<br><br> <br><br>书目名称Implementation and Application of Functional Languages被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0462553<br><br> <br><br>书目名称Implementation and Application of Functional Languages年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0462553<br><br> <br><br>书目名称Implementation and Application of Functional Languages年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0462553<br><br> <br><br>书目名称Implementation and Application of Functional Languages读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0462553<br><br> <br><br>书目名称Implementation and Application of Functional Languages读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0462553<br><br> <br><br>
Euphonious
发表于 2025-3-21 20:27:39
http://reply.papertrans.cn/47/4626/462553/462553_2.png
Exaggerate
发表于 2025-3-22 02:54:36
,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
发表于 2025-3-22 05:55:20
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
错
发表于 2025-3-22 09:51:18
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
发表于 2025-3-22 13:23:18
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
疼死我了
发表于 2025-3-22 17:47:18
http://reply.papertrans.cn/47/4626/462553/462553_7.png
正面
发表于 2025-3-22 22:04:23
http://reply.papertrans.cn/47/4626/462553/462553_8.png
不能根除
发表于 2025-3-23 01:50:29
,, 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
发表于 2025-3-23 06:16:58
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