Thunk

Known as: Suspended evaluation, Suspended computation, Thunking

In computer programming, a thunk is a subroutine that is created, often automatically, to assist a call to another subroutine. Thunks are primarily…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2006

Active libraries can be defined as libraries which play an active part in the compilation (in particular, the optimisation) of…

2002

We argue that delayed-evaluation, self-optimising scientific software components, which dynamically change their behaviour…

2002

We describe the design and implementation of Yacas, a free computer algebra system currently under development. The system…

2002

We show how to implement functionally the reverse, or adjoint strategy within the domain of Automatic Differentiation techniques…

1997

Plotkin, in his seminal article Call-by-name, call-by-value and the λ-calculus, formalized evaluation strategies and simulations…

1997

Les As. proposent une technique pour implementer un analyseur base sur le formalisme de la grammaire fonctionnelle lexicale…

1995

The idea behind forward checking is to check forward so that a wrong decision can be detected in early stage during search and…

1995

A circuit design technique for very low power parallel multipliers is presented. The design uses dynamic CMOS circuits together…

1990

CLG(2) is the latest member of a family of grammar formalisms centered around the notion of complex constraint expression for…

1988