lazy evaluation

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