This document defines the language Leda as currently implemented by the authors and Vinoo Cherian. Leda is an evolving research language and readers may wish to consult the bibliography for a variety of papers concerning its raison d'être. Our purpose here is to guide investigators in the use of a...
"This report describes the revised definition of the multiparadigm programming language Leda. The first section provides an introduction to Leda and a history of its development. Section 2 covers Leda preliminaries, section 3 details the overall structure of Leda programs. Declarations are discussed in section 4, expressions are the topic...