- Subscribe to this page:
- RSS
- Email Alert
lazy evaluation
(14 results)White Papers, Webcasts, and Resources
-
With the Netshelter CX enclosure, you'll be able to set up a server nearly anywhere. It's the IT industry's first soundproofed, portable server environment. Check out this video to learn more.
-
White Papers
LazyJ: Seamless Lazy Evaluation in Java
January 11, 2007 12:00am PST
LazyJ is a backward-compatible extension of the Java programming language that allows programmers to seamlessly tap into the power and expressiveness of lazy evaluation. It does so by extending...
-
Articles
Infinite list tricks in Haskell
November 14, 2007 3:55pm PST
Haskell uses a lazy evaluation system which allows you define as many terms as you like, safe in the knowledge that the compiler will only allocate the ones you use in an expression. In this...
-
White Papers
Transforming Functional Logic Programs into Monadic Functional Programs
November 21, 2010 12:00am PST
The authors present a high-level transformation scheme to translate lazy functional logic programs into pure Haskell programs. This transformation is based on a recent proposal to efficiently...
Provided by: Christian-Albrechts-Universitat zu Kiel
-
White Papers
Lazy and Enforceable Assertions for Functional Logic Programs
October 29, 2010 12:00am PDT
Assertions or contracts are an important technique to improve the quality of software. Thus, assertions are also desirable for functional logic programming. Unfortunately, there is no established...
Provided by: Christian-Albrechts-Universitat zu Kiel
-
Software
JFormula 3.6 (Mac)
December 26, 2006 12:00am PST
Formula is a library for evaluating various mathematical expressions. User can evaluate instantly a string setting variables, adding its own functions or operators.Main features:Decimal, string,...
Provided by: JAPISoft
-
-
Downloads
JFormula 3.6 (Mac)
December 26, 2006 12:00am PST
Formula is a library for evaluating various mathematical expressions. User can evaluate instantly a string setting variables, adding its own functions or operators.Main features:Decimal, string,...
Provided by: JAPISoft
-
White Papers
Lazy Mixin Modules and Disciplined Effects
August 25, 2009 12:00am PDT
Programming languages are expected to support programmer's effort to structure program code. The ML module system, object systems and mixins are good examples of language constructs promoting...
Provided by: Cornell University
-
White Papers
Efficient Support of Fine-Grained Futures in Java
September 25, 2006 12:00am PDT
A future is a parallel programming language construct that enables programmers to specify potentially asynchronous computations. The authors present and empirically evaluate a novel implementation...
Provided by: University of California
-
White Papers
Termination of Context-Sensitive Rewriting With Built-In Numbers and Collection Data Structures
February 5, 2009 12:00am PST
Context-sensitive rewriting is a restriction of rewriting that can be used to elegantly model declarative specification and programming languages such as Maude. Furthermore, it can be used to...
Provided by: University of New Mexico
-
White Papers
How to Effectively Address Archiving Requirements for In-Place Messaging Solutions: Integrating the AXIGEN Mail Server With Mailarchiva
March 3, 2008 12:00am PST
Today's business world manifests an ongoing concern and hosts frequent discussions regarding Corporate Governance and Information Technology (IT) Governance, facts that result in increased...
Provided by: GECAD TECHNOLOGIES
-
White Papers
ViSSh: A Data Visualisation Spreadsheet
January 1, 2008 12:00am PST
This paper describes a data visualisation system which uses spreadsheets as its user interface metaphor. Similar systems implemented in the past were hampered by the contradiction between an...
Provided by: University of Cape Town
-
White Papers
A Functional Language for Generating Structured Text
May 13, 2006 12:00am PDT
This paper describes ST (StringTemplate), a domain-specific functional language for generating structured text from internal data structures that has the flavor of an output grammar. ST's feature...
Provided by: Association for Computing Machinery
-
Software
VIRT language interpreter 1.0 (Windows)
June 1, 2000 12:00am PDT
VIRT is an imperative object-oriented programming language which was specially developed for the solving of AI problems. The main feature of VIRT is the new technology of the processing of the...
Provided by: Alexander Baranovsky
-
Downloads
VIRT language interpreter 1.0 (Windows)
June 1, 2000 12:00am PDT
VIRT is an imperative object-oriented programming language which was specially developed for the solving of AI problems. The main feature of VIRT is the new technology of the processing of the...
Provided by: Alexander Baranovsky




































