Add to ORKGAbstract: The aspect of purity versus impurity that we address involves the absence versus presence ...
The Iterator pattern gives a clean interface for element-by-element access to a collection, independ...
Powerful, safe macro systems allow programs to be programatically constructed by the user at compile...
Abstract: I describe an iteration macro for Common Lisp that is clear, efficient, extensible, and in...
This is the manual for version 1.1 of Iterate, a powerful iteration macro for Common Lisp. Iterate...
ion in Sather STEPHAN MURER, STEPHEN OMOHUNDRO, DAVID STOUTAMIRE, and CLEMENS SZYPERSKI Internationa...
Sather iters are a powerful new way to encapsulate iteration. We argue that such iteration abstracti...
International audienceIn this paper we present an approach to specify programs performing iterations...
In interactive theorem provers (ITPs), extensible syntax is not only crucialto lower the cognitive b...
This chapter describes a framework, 'Naive Iteration", which accounts for the conceptualizations und...
Over the past 20 years, increases in processor speed have dramatically outstripped performance incre...
Obviously synchronizable series expressions enable programmers to write algorithms as straightforwar...
Transforming recursion into iteration eliminates the use of stack frames during program ex-ecution. ...
The Iterator pattern gives a clean interface for element-by-element access to a collection, independ...
Extended macro grammars (of the linear basic type only) are introduced as a generalization of those ...
Abstract: The aspect of purity versus impurity that we address involves the absence versus presence ...
The Iterator pattern gives a clean interface for element-by-element access to a collection, independ...
Powerful, safe macro systems allow programs to be programatically constructed by the user at compile...
Abstract: I describe an iteration macro for Common Lisp that is clear, efficient, extensible, and in...
This is the manual for version 1.1 of Iterate, a powerful iteration macro for Common Lisp. Iterate...
ion in Sather STEPHAN MURER, STEPHEN OMOHUNDRO, DAVID STOUTAMIRE, and CLEMENS SZYPERSKI Internationa...
Sather iters are a powerful new way to encapsulate iteration. We argue that such iteration abstracti...
International audienceIn this paper we present an approach to specify programs performing iterations...
In interactive theorem provers (ITPs), extensible syntax is not only crucialto lower the cognitive b...
This chapter describes a framework, 'Naive Iteration", which accounts for the conceptualizations und...
Over the past 20 years, increases in processor speed have dramatically outstripped performance incre...
Obviously synchronizable series expressions enable programmers to write algorithms as straightforwar...
Transforming recursion into iteration eliminates the use of stack frames during program ex-ecution. ...
The Iterator pattern gives a clean interface for element-by-element access to a collection, independ...
Extended macro grammars (of the linear basic type only) are introduced as a generalization of those ...
Abstract: The aspect of purity versus impurity that we address involves the absence versus presence ...
The Iterator pattern gives a clean interface for element-by-element access to a collection, independ...
Powerful, safe macro systems allow programs to be programatically constructed by the user at compile...