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...
Leda is a newly evolving, strongly typed, compiled multi-paradigm programming language. This paper describes the integration of one of its supported paradigms, the logical (or relational) paradigm, into the language and the current implementation. It also describes implementational aspects of enumerated types and gives a variety of example programs that...
"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...