LEDA is a library of efficient data types and algorithms. At present, its strength is graph algorithms and the data structures related to them. The computational geometry part is evolving. The main features of the library are 1) a clear separation of specification and implementation 2) parameterized data types 3) a comfortable data type graph, and 4) its ease of use
We show that the combination of the Cgal framework for geometric computation and the number type led...
. Graphlet is a portable, object oriented toolkit for graph editors and graph drawing algorithms, an...
"This report describes the revised definition of the multiparadigm programming language Leda. The fi...
LEDA is a library of efficient data types and algorithms in combinatorial and geometric computing. T...
LEDA is a library of efficient data types and algorithms in combinatorial and geometric computing. T...
LEDA is a library of efficient data types and algorithms. At present, its strength is graph algorith...
LEDA is a library of efficient data types and algorithms and a platform for combinatorial and geomet...
Efficiency, flexibility, and ease of use are desirable goals in library development, but it seems ne...
Contents Preface page xi 1 Introduction 1 1.1 Some Programs 1 1.2 The LEDA System 8 1.3 The LED...
We report on a software library of dynamic graph algorithms. It was written in \CC as an extension o...
This paper explains some implementation details of graph iterators and data accessors in LEDA. It sh...
We report on the use of program checking in the LEDA library of efficient data types and algorithms
The goal of the LEDA project was to build an easy-to-use and extendable library of correct and effic...
Multiparadigm programming languages have been envisioned as a vehicle for constructing large and com...
This report provides an overview of Grafalgo, an open-source library of graph algorithms and the dat...
We show that the combination of the Cgal framework for geometric computation and the number type led...
. Graphlet is a portable, object oriented toolkit for graph editors and graph drawing algorithms, an...
"This report describes the revised definition of the multiparadigm programming language Leda. The fi...
LEDA is a library of efficient data types and algorithms in combinatorial and geometric computing. T...
LEDA is a library of efficient data types and algorithms in combinatorial and geometric computing. T...
LEDA is a library of efficient data types and algorithms. At present, its strength is graph algorith...
LEDA is a library of efficient data types and algorithms and a platform for combinatorial and geomet...
Efficiency, flexibility, and ease of use are desirable goals in library development, but it seems ne...
Contents Preface page xi 1 Introduction 1 1.1 Some Programs 1 1.2 The LEDA System 8 1.3 The LED...
We report on a software library of dynamic graph algorithms. It was written in \CC as an extension o...
This paper explains some implementation details of graph iterators and data accessors in LEDA. It sh...
We report on the use of program checking in the LEDA library of efficient data types and algorithms
The goal of the LEDA project was to build an easy-to-use and extendable library of correct and effic...
Multiparadigm programming languages have been envisioned as a vehicle for constructing large and com...
This report provides an overview of Grafalgo, an open-source library of graph algorithms and the dat...
We show that the combination of the Cgal framework for geometric computation and the number type led...
. Graphlet is a portable, object oriented toolkit for graph editors and graph drawing algorithms, an...
"This report describes the revised definition of the multiparadigm programming language Leda. The fi...