傲慢物
发表于 2025-3-26 21:21:05
http://reply.papertrans.cn/47/4626/462551/462551_31.png
TERRA
发表于 2025-3-27 03:31:40
Testing Erlang Refactorings with QuickCheck,of Kent to support Erlang program refactoring; the Wrangler tool is written in Erlang..In this paper we present the use of a novel testing tool, Quviq QuickCheck, for testing the implementation of Wrangler. QuickCheck is a specification-based testing tool for Erlang. With QuickCheck, programs are te
Contracture
发表于 2025-3-27 06:09:01
Optimal Lambda Lifting in Quadratic Time,nimal set of extraneous parameters needed by each function as is done by the .(..) equation-based algorithm proposed by Johnsson. In contrast, modern lambda lifting algorithms have used a graph-based approach to compute the set of extraneous parameters needed by each function. Danvy and Schultz prop
Fortuitous
发表于 2025-3-27 11:04:31
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity,o a full Haskell compiler. Our approach splits both language and implementation into smaller, manageable steps, and uses specific tools to generate parts of the compiler from higher level descriptions.
MAG
发表于 2025-3-27 15:42:53
,XHaskell – Adding Regular Expression Types to Haskell,with regular expression types, subtyping and regular expression pattern matching found in XDuce. Such an extension proves in particular useful for the type-safe processing of XML data. For example, we can express XQuery and XPath style features via XHaskell combinators. We have implemented the syste
能得到
发表于 2025-3-27 20:19:04
http://reply.papertrans.cn/47/4626/462551/462551_36.png
大量杀死
发表于 2025-3-27 22:16:27
Lazy Contract Checking for Immutable Data Structures,at construct the data structure, meaning that each object can only be used with a single contract and that a data structure with an invariant cannot be viewed as a subtype of the data structure without the invariant (thus inhibiting abstraction) or contracts are checked eagerly when an operation on
bioavailability
发表于 2025-3-28 05:56:49
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA,r and memory. This limitation is known as the .. We explore the effect of . this bottleneck using a special-purpose graph reduction machine with wide, parallel memories. Our prototype machine – the Reduceron – is implemented using an ., and is based on a . template-instantiation evaluator. Running a
rods366
发表于 2025-3-28 09:32:53
http://reply.papertrans.cn/47/4626/462551/462551_39.png
HAVOC
发表于 2025-3-28 12:05:17
Uniqueness Typing Simplified,raightforward to implement and add to existing compilers, and can easily be extended with advanced features such as higher rank types and impredicativity. We describe our implementation in ., an experimental functional language with both these features. Finally, we prove soundness of the core type s