Titlebook: Implementation and Application of Functional Languages; 18th International S Zoltán Horváth,Viktória Zsók,Andrew Butterfield Conference pro

Halcyon

书目名称Implementation and Application of Functional Languages影响因子(影响力)




书目名称Implementation and Application of Functional Languages影响因子(影响力)学科排名




书目名称Implementation and Application of Functional Languages网络公开度




书目名称Implementation and Application of Functional Languages网络公开度学科排名




书目名称Implementation and Application of Functional Languages被引频次




书目名称Implementation and Application of Functional Languages被引频次学科排名




书目名称Implementation and Application of Functional Languages年度引用




书目名称Implementation and Application of Functional Languages年度引用学科排名




书目名称Implementation and Application of Functional Languages读者反馈




书目名称Implementation and Application of Functional Languages读者反馈学科排名

Euphonious

Exaggerate

,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

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

错

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

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

疼死我了

正面

不能根除

,, 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

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