Search Constraints

Start Over
Filtering by: Creator Pesch, Wolfgang Remove constraint Creator: Pesch, Wolfgang Resource Type Technical Report Remove constraint Resource Type: Technical Report

Search Results

  • A Leda language definition

    Creator:
    Shur, Jim and Pesch, Wolfgang
    Abstract:
    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...
    Resource Type:
    Technical Report

  • Implementing logic in Leda

    Creator:
    Pesch, Wolfgang
    Abstract:
    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...
    Resource Type:
    Technical Report